nuttx/boards/mips/pic32mx/pic32mx-starterkit
..
configs
include
scripts
src
Kconfig