nuttx/configs/stm32l4r9ai-disco/knsh
..
defconfig
Make.defs