Ownership is Theft: Experiences Building an Embedded OS in Rust (2015) [pdf]
"Garbage collection, for example, introduces nondeterministic
delays. Automatic memory allocators complicate common kernel
optimizations such as slab allocation"No no no.  Badly designed GC, for sure.  But for any modern, thought-through GC this is not true.And in any case, the Linux kernel uses ref-counting all over the place, which is the worst form of GC - slow, hard to debug, full of potential places to trip you up and cause a leak or a security bug, ...