Username or EmailPassword
The basic point I'm getting at is that in a kernel, I'd be surprised if at least 50% of all the code isn't unsafe (or even just raw assembly). Because the nature of the beast is that you're manipulating raw memory and hardware at its very lowest level.
Checked & safe languages like Rust are nice, but the idea that using such a language for a kernel suddenly makes the kernel less liable to errors is largely unfounded. They can eliminate certain types of errors, but not the errors that are the most likely to bite you in the ass when you're in ring 0.
Having said all that I'd love to see someone expand on the concept and perhaps write a proper kernel in Rust. Edited 2013-05-28 15:31 UTC