void vgamain();
void z80main();
void serialmain();
void parallelmain();

void flash_reboot() __attribute__ ((noreturn));