Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a groundbreaking conference presentation from USENIX ATC '25 that introduces ASTERINAS, a revolutionary Linux ABI-compatible operating system built entirely in Rust using the innovative framekernel architecture. Learn how researchers from SUSTech, Ant Group, Peking University, and Zhongguancun Laboratory have solved the critical challenge of building a feature-rich, general-purpose operating system while maintaining a minimal and sound Trusted Computing Base (TCB) for memory safety. Discover the novel framekernel architecture that enables intra-kernel privilege separation and realizes Rust's full potential in operating system development, addressing the shortcomings of existing Rust-based OSes that improperly use unsafe Rust in kernel development. Examine OSTD, the streamlined framework designed for safe Rust OS development, and understand how ASTERINAS achieves Linux compatibility by supporting over 210 Linux system calls while delivering performance comparable to Linux. Gain insights into how this implementation maintains a minimized, memory-safety TCB comprising only 14.0% of the codebase, demonstrating the practical benefits and efficiency of the framekernel architecture in building safe and high-performance operating systems.
