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