original_kernel/arch/xtensa/boot/boot-redboot
..
Makefile
boot.ld
bootstrap.S