nuttx/configs/stm32f769i-disco/nsh-ethernet
..
defconfig