Oh, cool two Cortex-M33 cores (4.09 CoreMark/MHz) and two open-source RISC-V Hazard3 cores (3.81 CoreMark/MHz): https://github.com/Wren6991/Hazard3
>RP2350 includes a pair of open-hardware Hazard3 RISC-V cores which can be substituted at boot time for the Cortex-M33 cores. Our boot ROM can even auto-detect the architecture for which a second-stage binary has been built and reboot the chip into the appropriate mode
https://www.raspberrypi.com/documentation/microcontrollers/s...
Page 1274 of https://datasheets.raspberrypi.com/rp2350/rp2350-datasheet.p....