acrn-kernel/arch/xtensa/boot
..
boot-elf
boot-redboot
lib
ramdisk
Makefile