Tag
Proofcraft has completed the formal security proofs for the seL4 microkernel on AArch64, including confidentiality, and announced the verification of MCS seL4 for RISC-V, alongside presenting a theoretical paper at LICS'26.
QSOE 0.1, a QNX-inspired operating system with selectable kernels (Skimmer microkernel or seL4), has been released. It targets 64-bit RISC-V hardware and is available under Apache-2.0.