A Linux compatible kernel in Rust. It runs unmodified Linux programs on the Linux 7.3 ABI at Linux speed. Windows and macOS programs run through Wine and a Darwin user land.
linux rust kernel x86-64 darwin linux-kernel os operating-system kvm riscv wine aarch64 formal-verification no-std bpf systems-programming io-uring verus linux-abi framekernel
-
Updated
Nov 12, 2026 - Rust