I mean monolithic in terms of what the argument was about. Monolithic Kernels can't generally be written in a managed memory-safe language, because it's the ker

I mean monolithic in terms of what the argument was about. Monolithic Kernels can't generally be written in a managed memory-safe language, because it's the kernel that does the memory-safe part. With a microkernel, parts can be written in memory-safe languages, that's why Singularity has to use one: http://en.wikipedia.org/wiki/Singularity_%28operating_system%29 http://en.wikipedia.org/wiki/Singularity_%28operating_system...