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

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.