ETH Zurich is developing a new radiation-robust microcontroller that uses the triple lock-step method to validate its own computational results. The basis for this is a RISC-V based design.
Lockstep is nothing completely new in the RISC-V area either, but the focus on energy consumption is interesting. Perfect for satellites!