original_kernel/firmware/dabusb
..
bitstream.bin.ihex
firmware.HEX