Jinn is a minimalist, preemptive x86_64 microkernel written in Rust from scratch, built on three pillars: waste-free preemption, explicit resource management, and a minimal kernel with maximum capability-based security. The OS runs most functionality in user space while the kernel handles only scheduling, IPC, memory, and syscalls, and is actively seeking contributors from the Brazilian tech community.
Redox OS, a Unix-like microkernel-based operating system written in Rust, achieved major milestones in August 2026 including ARM64 multi-core support, a new ring buffer communication API (Redox Rings) that improved I/O performance by 14-15x, and fixes to a kernel memory leak that reduced compilation times from 10 hours to 30 minutes. Additional developments included NUMA support, process priority implementation, QEMU compatibility, dual-boot installation from Linux, and kernel binary size profiling.