/kernel/include/boot/

• ../
• gdt.h