The Case for Writing a Kernel in Rust
APSys, pp. 1:1-1:7, 2017.
An operating system kernel written in the Rust language would have extremely fine-grained isolation boundaries, have no memory leaks, and be safe from a wide range of security threats and memory bugs. Previous efforts towards this end concluded that writing a kernel requires changing Rust. This paper reaches a different conclusion, that n...More
Full Text (Upload PDF)
PPT (Upload PPT)