[Joky]

They claim they are writing the actual kernel code (as in the implementation of a matmul) with it, and it was presented as a "system programming language": this goes far beyond "high-level tasks" it seems.

[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.