Redox OS
Harvey is Plan 9, which is Unix 2.0.
Redox is xNix redone in Rust, I think because they've never seen anything that isn't xNix.
Redox OS