The Linux kernel is not a place to work if you’re not ready for some, shall we say, spirited argument. Still, one key developer in the project to expand Rust’s place inside the largely C-based kernel feels the “nontechnical nonsense” is too much, so he’s retiring.

Source: Rust in Linux lead retires rather than deal with more “nontechnical nonsense” - Ars Technica

So RedoxOS?