Tilck – A Tiny Linux-Compatible Kernel
It would be really interesting for me, to once see a kernel in a higher language than C. Would it be possible to write something like that in Rust, or am I missing something?