Risc 5 mode on pico 2?

[picolisper]

I did some testing; overclocked at 200MHz, with RISC-V it’s just a little slower than the default 150MHz ARM. I posted the benchmarks in another post.