nuttx/configs/tm4c123g-launchpad/tools
..
lm4f120-launchpad.cfg
oocd.sh