[pjmlp]

Given the Mesa/Cedar system a Xerox PARC, Oberon at Swiss Federal Institute of Technology and Modula-3/SPIN at Olivetti, doing OS work in GC enabled systems programming languages is quite possible.

The problem is how to move OS vendors away from C's influence.

[fithisux]

Use micro-kernels.

[loup-vaillant]

Exo-kernels might be a better alternative.

https://en.wikipedia.org/wiki/Exokernel

[pjmlp]

It is a matter of willingness, not technology.