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