Redox was started independently by an OS hobbyist. It was linked to reddit.com/r/rust by a member of the community. It's since gone on to gain a moderate developer base within the Rust community.