/nuttx/configs/cc3200-launchpad/tools/
../
cc3200.cfg