Not really, here are some examples of systems done with GC enabled systems programming languages.

https://github.com/ycoroneos/G.E.R.T

https://archive.org/details/bitsavers_xeroxparcteCedarProgra...

http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-6.pdf

http://www.projectoberon.com/

http://www.ocp.inf.ethz.ch/wiki/Documentation/Kernel

https://en.wikipedia.org/wiki/ARX_(operating_system)

https://en.wikipedia.org/wiki/SPIN_(operating_system)

https://www.amazon.com/Programming-Modula-3-Prentice-Innovat...