Drew DeVault introduces Helios, a new microkernel written in the Hare programming language, targeting x86_64 with riscv64 and aarch64 support planned. Inspired by seL4, it uses a capability-based design for isolation and security. The project is early-stage but already has memory management, virtual address spaces, and simple
Sort: