GC doesn't prevent you from writing an OS, see Project Oberon[0] for an example of a system with its own CPU (implemented in FPGA), OS, language and application

GC doesn't prevent you from writing an OS, see Project Oberon[0] for an example of a system with its own CPU (implemented in FPGA), OS, language and applications by Niklaus Wirth which actually does use a system-wide garbage collector. The language does allow for direct memory access though through some special functions that the compiler converts to direct memory accesses. [0] http://www.projectoberon.com/ http://www.projectoberon.com/