/src/boot/

• ../
• kernel_stage1.S
• kernel_stage1.ld
• kernel_stage2.ld
• loader_stage1.S
• loader_stage1_linker.ld
• loader_stage2.c
• loader_stage2_linker.ld
• psr.h
• setup.c