A lot of the goals of the project seem to line up well with dealing with issues noted in the post.
A huge endeavour of course - to build an OS from the ground up. I hope they get there.
ref: https://doc.redox-os.org/book/ch01-03-our-goals.html?highlig...
"Redox is an attempt to make a complete, fully-functioning, general-purpose operating system with a focus on safety, freedom, reliability, correctness, and pragmatism.
We want to be able to use it, without obstructions, as an alternative to Linux on our computers. It should be able to run most Linux programs with only minimal modifications.
We're aiming towards a complete, safe Rust ecosystem. This is a design choice, which hopefully improves correctness and security (see Why Rust).
We want to improve the security design when compared to other Unix-like kernels by using safe defaults and disallowing insecure configurations where possible."