Rustpi: A Rust-powered Reliable Micro-kernel Operating System.

Yuanzhi Liang, Lei Wang, Siran Li, Bo Jiang

Browse the full ISSRE paper archive.