incubator-nuttx/boards/arm/stm32l4/stm32l4r9ai-disco
..
configs
include
kernel
scripts
src
Kconfig