Wow - Raspberry Pi Pico 2 announced today - and supports Arm and RISC-V cores!
Raspberry Pi Pico 2 is our new $5 microcontroller board, built on RP2350: our new high- performance, secure microcontroller. With a higher core clock speed, double the on-chip SRAM, double the on-board flash memory, more powerful Arm cores, optional RISC-V cores, new security features, and upgraded interfacing capabilities, Raspberry Pi Pico 2 delivers a significant performance and feature boost, while retaining hardware and software compatibility with earlier members of the Raspberry Pi Pico series.
https://www.raspberrypi.com/products/raspberry-pi-pico-2/
https://www.jeffgeerling.com/blog/2024/raspberry-pi-pico-2-rp2350-adds-more-pio-risc-v-cores