/boards/dk-tm4c129x/bitband/gcc/
../
bitband.axf
bitband.bin