original_kernel/firmware/ositech
..
Xilinx7OD.bin.ihex