original_kernel/firmware/ttusb-budget
..
dspbootcode.bin.ihex