[pjmlp]

Ah the Rust advocay.

- Direct memory access requires unsafe.

- Rust is also not null safe, unless you validate all unsafe code blocks

- Rust is also not typestate safe, unless explicitly programmed that way

As for GC being or not acceptable on kernel, plenty of worksation OSes have proven it works, only politics have hindered their further development.

Go was just the example at hand, I would have used D or any other better prepared GC systems programming language.

And then there are those bare metal JVM and Erlang runtimes deployed into production, even in matters of life and death like weapon control systems in battleships and missile tracking radars.