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