main.cpp « kernel « src - pub/fmorgner/teachos.git - The TeachOS kernel, a greenfield, pure 64-bit, educational operating system.

about summary refs log tree commit diff

path: root/src/kernel/main.cpp

blob: 4799b29b7ac9f8dbbbf0774171c7bb49775f0f33 (plain)

1
2
3

#include "arch/kernel/main.hpp"

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