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

about summary refs log tree commit diff

path: root/source/src/kernel/main.cpp

blob: 07a9955d02089485ac16ad6046ce37ec025c2532 (plain)

1
2
3

#include "arch/kernel/main.hpp"

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