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