/src/kernel/

• ../
• compile_flags.txt
• gdt
• kernel.c
• print.c