void bootmain(void) {
  for (;;);
}