Redox is cited in their OSDI paper. Basically they have a bunch of new ideas for writing an OS that are implemented here; Redox is only similar because they're

Redox is cited in their OSDI paper. Basically they have a bunch of new ideas for writing an OS that are implemented here; Redox is only similar because they're both in Rust.