/boards/ek-lm4f232/timers/rvmdk/
../
timers.axf
timers.bin