nuttx/boards/arm/stm32h7/stm32h745i-disco/configs/nsh_cm4_rptun
..
defconfig