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

A couple of months ago, we posted about the prospect of a subscription-based Windows. Given the changing landscape, it wasn't that hard to believe that such a thing could come true, and if it didn't, ...

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