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