Rust's main toy/experimental OS RedoxOS is already there and has a microkernel.