The L4 ecosystem is much more mature. There are formally proven variants like seL4, and more widely used variants like wrmOS. https://en.wikipedia.org/wiki/L4_

The L4 ecosystem is much more mature. There are formally proven variants like seL4, and more widely used variants like wrmOS. https://en.wikipedia.org/wiki/L4_microkernel_family https://en.wikipedia.org/wiki/L4_microkernel_family I am excited to see how redox evolves, but unless they start writing, virtualizing, or porting drivers it is not much more than an experiment in how well Rust can handle OS programming.