/nuttx/configs/dk-tm4c129x/tools/
../
dk-tm4c129x.cfg
oocd.sh