[jgarzik]

Somewhat related, a kernel in Rust: https://github.com/jgarzik/hk

[josephg]

If you're going to plug your own project, you might want to mention that in your comment.

There's dozens of rust osdev projects. Its an open question if any become relevant like linux.