nuttx/configs/stm32f746g-disco/knsh
..
defconfig
Make.defs
setenv.sh