nuttx/configs/tm4c1294-launchpad/tools
..
ek-tm4c1294xl.cfg
oocd.sh