Fuchsia and QNX provide a lot of what you want. https://en.wikipedia.org/wiki/QN...

		chasil on Oct 25, 2021 \| parent \| context \| favorite \| on: Kerla: Monolithic kernel in Rust, aiming for Linux... Fuchsia and QNX provide a lot of what you want. https://en.wikipedia.org/wiki/QNX https://en.wikipedia.org/wiki/Fuchsia_(operating_system) https://lobste.rs/s/p8bizb/getting_know_fuchsia_google_s_ope...

I think I'm aware of QnX ;) (I wrote a clone).