nuttx/boards/arm/tiva/dk-tm4c129x/tools
..
dk-tm4c129x.cfg
oocd.sh