#include "arch/kernel/main.hpp"

#include "arch/exception_handling/panic.hpp"

extern "C" auto kernel_main() -> void
{
  teachos::arch::kernel::main();
  teachos::arch::exception_handling::panic("Architecture specific main returned!");
}