This has risc-v: https://www.raspberrypi.com/products/raspberry-pi-pico-2/