incubator-nuttx/boards/arm/rp2040/raspberrypi-pico/configs/smp
..
defconfig