News for hackers. Stuff that matters.
Re:Major Changes at RISC-V Designer SiFive by gchadwick on Tuesday October 24, 2023 @06:00AM (#37996850)
We've had people consider Ibex for space applications, well verified and has a dual-core lockstep option: https://github.com/lowRISC/ibex.

An ETH Zurich team have done a triple core lockstep version for cubesats: https://www.theregister.com/2023/10/05/riscv_microcontroller...

Re:Major Changes at RISC-V Designer SiFive by edrxty on Tuesday October 24, 2023 @11:51AM (#38000895)
https://www.gaisler.com/index.php/information/servicessuppor...

Gaisler is also current one of the biggest players there IIRC. I've used them for stuff in the past.