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