Rustboot64: a 64-bit kernel written in Rust Posted by iseyler on Monday November 17, 2014 @06:35PM from the github.com dept. https://github.com/IanSeyler/rustboot64 ( 2 comments | 15 points | on HN )