nuttx/boards/arm/rp2040/adafruit-kb2040/configs/smp
..
defconfig