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