> I noticed in another thread that a few people seem to think you can't implement an entire operating system in a GCd language like Java or C#, but that isn't true.

Both Smalltalk and LISP were used to write operating systems decades ago.