True, although I'd personally rather see a focus on getting the backend right -- I think that's what Redox is focusing on. There are many options for "pretty" f

True, although I'd personally rather see a focus on getting the backend right -- I think that's what Redox is focusing on. There are many options for "pretty" frontends, especially on Linux, but there are very few OSes out there with a decent approach to security. (Rust's inherent safety should help with that, although it's not magic security fairy dust by any means.)