Ah damn. Would you say synthesising a RISC-V CPU on a FPGA dev board would qualify as an alternative?
They're a lot of fun though - I have PicoRV32 in a very low end Lattice FPGA which cost, like $30 I think? It can only run single C programs, not even an embedded kernel, but I love playing around with it.
https://commons.wikimedia.org/wiki/File:SanDisk_Fusion_ioMem...
It's basically useless for SoC development, though, as there's no memory on board, no I/Os other than PCIe, and no practical way to add any.