Rustboot: a 32 bit kernel written in Rust

195 points by steveklabnik

Read the article

Discussion on Hacker News