Oberon [1] showed that a GC-based language could be used as a systems programming language. The various variants -- Oberon OS, Active Oberon, Bluebottle OS, A2

Oberon [1] showed that a GC-based language could be used as a systems programming language. The various variants -- Oberon OS, Active Oberon, Bluebottle OS, A2, EthOS [2] -- were entirely written in Oberon (plus assembly), with GC at the OS level and I believe in some (all?) cases even in the kernel. Oberon had a huge influence on Go, as did Wirth's other languages. Robert Griesemer worked at ETH Zürich (where all of this was conceived) for a while. Then there's Singarity [3]. [1] https://en.m.wikipedia.org/wiki/Bluebottle_OS?wprov=sfti1 https://en.m.wikipedia.org/wiki/Bluebottle_OS?wprov=sfti1 [2] http://www.progtools.org/article.php?name=oberon&section=compilers&type=tutorial http://www.progtools.org/article.php?name=oberon&section=com... [3] http://en.wikipedia.org/wiki/Singularity_(operating_system) http://en.wikipedia.org/wiki/Singularity_(operating_system)