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