> Wonder whats happening with Redox.
They've been involved in Google Summer of Code, and so have had lots of status update posts lately, here's the latest: https://redox-os.org/news/gsoc-self-hosting-final/
> Rust should move away from C standard library, if possible.
It's not always possible, but on systems where it is, there's some ability to do so, see https://github.com/japaric/steed