/kernel/

• ../
• boot.s
• i386.h
• linker.ld
• main.c
• string.c
• string.h
• video-vga.c
• video-vga.h