struct Console : TopLevelWindow {
  EditBox output;
  CheckBox traceToConsole;
  CheckBox traceToFile;
  CheckBox traceCPU;
  CheckBox traceSMP;
  Button clearConsole;

  string buffer;
  file logfile;

  void create();
  void write(const string &text);
  void tracerEnable(bool state);
  void eventBreakpoint();
  void eventTraceCPU();
  void eventTraceSMP();
};

extern Console console;

