nuttx/boards/arm/stm32/stm32f429i-disco/configs/highpri
..
defconfig