/boards/dk-tm4c129x/blinky/rvmdk/

• ../
• blinky.axf
• blinky.bin