Tag
August 2026 brought significant updates to Redox OS, including ARM64 multi-core support, ring buffer communication for 14-15x I/O performance boost, NUMA implementation, and QEMU compatibility improvements.
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.
This article argues that modern hardware, particularly IOMMUs, makes microkernels viable again by eliminating overhead from context switches, and suggests revisiting microkernel designs for better security and reliability.
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.
QSOE project v0.1 is released, providing a QNX-compatible operating system with two microkernel variants (custom Skimmer kernel and seL4-based), shared userspace, and support for SiFive Unmatched RISC-V hardware.
Redox OS, a Unix-like microkernel OS written in Rust, shares its May 2026 updates including the announcement of Summer of Code projects, implementation of EEVDF scheduler, and significant performance improvements in I/O events and filesystem inode caching.