nuttx/boards/arm/rp2040
..
raspberrypi-pico