/nuttx/configs/cc3200-launchpad/
../
Kconfig
README.txt
include
nsh
scripts
src
tools