/kernel/
../
bootloader.s
const.inc
gdt.c
gdt.h
gdt_asm.s
kernel.c
kernel.ld
kernel_asm.s
makefile
x86.h