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