In the context of a research project, we were thinking about the port of RIOT OS on a RISC-V softcore given by the OpenHWgroup (https://github.com/openhwgroup). Probably, the
I’ve seen an old topic trying to get it working on the picorv32: RIOT OS port for the icoBoard FPGA board - icoSoC / picorv32 RISC-V platform - #2 by bergzand
cv32e40p is quite close to the (already supported) FE310 from SiFive in terms of ISA extensions (only the A extension is missing).
It should be possible as long as we build the architecture around the CPU, right?