RedLeaf: Isolation and Communication in a Safe Operating System
summary
RedLeaf is a microkernel-like OS written in Rust that replaces hardware address-space isolation with language-based (type and memory safety) isolation domains. It presents a dynamic domain abstraction for information hiding, fault isolation, and clean termination and shows how this enables end-to-end zero-copy, transparent device-driver recovery, and a POSIX subset implemented as domains. The project evaluates practicality by implementing high-performance 10Gbps network and NVMe PCIe drivers in Rust that match optimized kernel-bypass throughput while using fine-grained, language-based isolation.
AI-written summary · about
related talks
29m"10 Years of Redox OS and Rust"
20mAn Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise
10mKeynote: Rust in the Linux Kernel: A New Era for Cloud Native Performance and Security
34mWriting an Embedded Operating System in Rust
43mClosing Keynote: Safe Systems Software and the Future of Computing
39mRex: Safe and Usable Kernel Extensions in Rust
31mGetting Something for Nothing
30mRex and its integration with Rust-for-Linux