This core is included on the RP2350:
- https://www.raspberrypi.com/news/risc-v-on-raspberry-pi-pico-2/
- RP2350 - Wikipedia
- https://riscv.org/news/2024/08/jesse-taube-gets-linux-up-and-running-on-the-raspberry-pi-rp2350s-hazard3-risc-v-cores/
- Using RISC-V cores on the Raspberry Pi Pico 2 board and RP2350 MCU - From blinking an LED to building Linux - CNX Software