original_kernel/firmware/dsp56k
..
bootstrap.asm
bootstrap.bin.ihex