[adgjlsfhk1]

You can write kernels in a language with a GC. You just write kernels that don't allocate.

[pjmlp]

Alternatively have the GC as an OS service.