Have enjoyed your columns for ages and learned a lot from them. One micro-kernel that hasn't been mentioned as I write this is the Mach micro-kernel. It is what underlies Mac OS X. Now that we have OS ...

A monolithic kernel is the most common of the three kernel types and is found on various devices and operating systems. Linux, Windows, and Android-based operating systems use a monolithic kernel ...

“In a monolithic OS, compromising one (kernel-provided) service compromises the whole system, therefore the whole multi-million-SLOC kernel is in every application’s TCB,” the researchers wrote.

There's a long history of this, going back to the debate between micro-kernels and monolithic kernels. Even Linus Torvalds, the proponent of the monolithic kernel, believes it's better to abstract ...

The I/O drivers are also separate processes (in the kernel, but only because the brain-dead nature of the Intel CPUs makes that difficult to do otherwise). LINUX is a monolithic style system.

1. Here is a diagram of the Microkernel architecture. Microkernels aim to provide a safer and more secure runtime environment over the popular monolithic kernel based Operating Systems (Fig. 2).

Here we are, 14 years after the death of Workplace OS and Microsoft’s return to the monolithic kernel and what do you know, hardware performance improvements have been considerable.

In addition to that, Amit stressed that Mac OS X does not use a micro-kernel. Yes, it has Mach, but the Mac OS X kernel encompasses both Mach and the more traditional parts of a BSD kernel, fusing ...

Speculation is rampant that Mach, which is a component of the OS X kernel, will be axed from OS X 10.5 (Leopard). If you read Cringely’s treatise on monolithic kernels you’ll get the gist of ...

Disagreements exist about whether or not microkernels are good. It's easy to get the impression they're good because they were proposed as a refinement after monolithic kernels. Microkernels are ...