Now someone just need to use Rust to build yet another kernel? :-)
[1] https://github.com/redox-os/redox
[1] https://github.com/redox-os/redox