Comment by jp_rider

If you haven't already, check out Redox OS [1,2]. It's a microkernel written in Rust.

Here's a good interview with the developer [3].

[1] https://www.reddit.com/r/Redox/

[2] https://redox-os.org/

[3] https://www.youtube.com/watch?v=eH5JgMlNE8o