/boot/

• ../
• Makefile
• config.h
• efi
• fake_syscall_entry.S
• kjarna.h
• main.c