I am waiting to see the reasoning why creative uses of Rust macros or generics aren't problem in the Linux kernel versus Ada/C++ (yes there was an Ada based distribution on the early 2000's).

There are plenty of OSes using C++, at very least on kernel drivers.