path: root/src/kernel/main.cpp

#include "arch/kernel/main.hpp"

extern "C" auto kernel_main(size_t multiboot_information_address) -> void
{
  teachos::arch::kernel::main(multiboot_information_address);
}