Redox is not "Mozilla's operating system" in any way or form. It is an immature OS whose primary contributor works at System 76. The only thing Mozilla-related about it is that it's written in Rust.