incubator-nuttx/boards/arm/stm32l4/stm32l4r9ai-disco/configs/knsh
..
Make.defs
defconfig