seL4 Integrity Enforcement Proved for RISC-V
The seL4 Foundation and RISC-V International are pleased to announce that Ryan Barry from UNSW Sydney has completed the proof that the seL4 microkernel on the RISC-V... Read more.
seL4 on RISC-V Verified to Binary Code
Author: Gernot Heiser, seL4 FoundationIn June 2020 we announced that the seL4 microkernel, the world’s first operating system (OS) kernel with a machine-checked... Read more.