Note that, other than not having an FPU, the "Hazard3" RISC-V core in the Raspberry Pi Pico 2 (RP2350) is very competitive with the latest Arm Cortex M33 in the same chip, despite being the part time (purely at home) work of a single engineer. And fully open source with a permissive Apache 2.0 license.