nuttx/boards/arm/tiva/tm4c129e-launchpad/tools
..
ek-tm4c129exl.cfg
oocd.sh