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