/

• .gdbinit
• .gitignore
• Makefile
• compile_flags.txt
• kernel
• linker.ld
• platform