Microchip's new 5-core 64-bit RISC-V PIC64GX
hackster.io
hackster.io
maybe I'll wait until it shows up at other distributors.
https://www.microchip.com/en-us/development-tool/curiosity-p...
You can just buy an "Icicle" PolarFire SoC dev board (available since late 2021) and ignore the FPGA part. It's the same thing, pin compatible, same RISC-V CPUs at the same speed, and comes from the factory with the FPGA programmed to connect the CPU cores to the peripherals and boot Linux out of the box.
Obviously, it's more expensive, as it contains a 250k LE FPGA, with the bare chip selling for $400 - $500 all by itself.