Redox is a Unix-like Operating System written in Rust. Apparently the project was started in 2015 and I only just now heard about it. However they still say it is alpha/beta quality software, not ready for daily usage yet. The name "Redox" refers to the chemical reaction (reduction-oxidation) that creates rust. Get it? The programming language is Rust and "Redox" also sounds Unix-y.
Redox is a microkernel architecture, unlike Linux or any other Unix (including Mac which uses BSD Unix under the hood) or Windows (which is VMS-like under the hood). The microkernel architecture is said to provide "true modularity". "You can modify/change many system components without a system restart, similar to but safer than livepatching."
"By isolating the system components from the kernel, the attack surface is very limited."
"The Rust compiler helps the programmer to avoid memory errors and race conditions, which reduces the probability of data corruption bugs." "The microkernel design written in Rust protects against memory defects that one might see in C/C++ programs." "Drivers written in Rust are likely to have fewer bugs and are therefore more secure."
"Redox uses RedoxFS as the default filesystem. It supports similar features as ZFS with a written-in-Rust implementation. Expect high performance and data safety (copy-on-write, data integrity, volumes, snapshots, hardened against data loss)."
