/src/kernel/

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