Hi Everyone, I think many of you already saw this news!
The Raspberry Foundation created their own microcontroller based on ARM Cortex M0+ with 1MB Flash and 256KB RAM. They also add support to OpenOCD (not in mainline yet) see: https://datasheets.raspberrypi.org/pico/getting_started_with_pico.pdf So yes, a good board to use with NuttX and a good alternative to Arduino and BluePill. BR, Alan