namespace teachos
{
  extern "C" auto kernel_main() -> void
  {
    while(true) {
      asm volatile ("nop"); 
    }
  }
}