/boards/ek-tm4c123gxl/bitband/gcc/
../
bitband.axf
bitband.bin