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