incubator-nuttx/boards/arm/at32/at32f437-mini/configs/sdcard
..
defconfig