C cs.virginia.edu The Case for Writing a Kernel in Rust [pdf] 181 points lainon 9 years ago 58 comments