&gt;  Systems programming does not preclude a language from having a good type system or higher level abstractions.<p>I didn&#x27;t say that system programming does not need a good type system. I am also not saying that it is impossible to design operating system software with Rust.<p>As someone who had been on both the sides of the abstraction and having closely interacted with the system programmers, I think it is just too hard to convince them to use Rust. It is not just about the language alone, it is about what minimum you need to bootstrap a system (among many other things).<p>Anyway.. good luck to the OP in &quot;rewriting everything in rust&quot; and also getting it to the same quality&#x2F;feature parity as others in the game and also get others to use it as well.