nuttx/boards/arm/tiva/tm4c123g-launchpad
..
configs
include
scripts
src
tools
Kconfig