I recently discovered that Redox OS got a new release earlier this month. I’m quite surprised how far they managed to get, given that only a handful of people are working on this project (compared to the Linux kernel).
Now, I’m curious what it would take to get bigger players to focus on this project. Given the recent Linux + Rust drama, it would surprise me if the backers of Rust for Linux would not give this project some attention.
Linux filled a gap. There was hardly any way to get something unixy running on commodity hardware.
What gap does Redox fill? What’s its USP? Just being written in rust can’t be it.
Even Torvalds said that a lot of critical parts of the kernel are completely undocumented and only one or two devs know how they work. IMO that’s completely unacceptable, especially for such an important OS. They’ve proven they don’t want to collaborate or communicate how they work to others.
Rust encodes a LOT of things into the type system, which makes it far, far easier to maintain since you don’t need docs, and since the compiler enforces these things automatically. Memory safety is only one of them.
Starting something in a modern language instead of one with so little safety is a massively important feature.
The difference is similar to gas vs electric cars. They’re both ultimately cars. Gas filled the niche that horses left. Electric cars have been taken seriously for far less time than gas, but their better technology has accelerated innovation. They almost never need to be taken to the mechanic, don’t need oil changes, are way better for the environment, etc. and basically the only gap is getting batteries with larger capacity and more charging stations. We’ll get there soon, and then gas cars will be fully obsolete.
In the end, someone who just sees them as one car vs another doesn’t understand all the benefits of the implementation.