/kernel/

• ../
• boot.s
• details
• kernel.c
• linker.ld