seL4 is verified on RISC-V!
The most exciting aspect of an open ISA with open-source hardware implementations is the prospect…
Jeffrey Osier-MixonJune 8, 2020