Researchers contend almost all Linux OS flaws could be mitigated to less-than-critical severity with an OS design based on a verified microkernel. In an exhaustive study of critical Linux ...

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 the ...