incubator-nuttx/boards/avr/at32uc3/avr32dev1
..
configs
include
scripts
src
tools
Kconfig