Coverity's founders, four graduate students from Stanford University and their professor, recently grammar-checked the entire Linux 2.6.9 kernel operating system and found a respectably low 950 bugs in 5.5 million lines.

FORBES: Magazine Article

After some investigation, the problem appeared to be in the Linux network file system (NFS) kernel, the piece of the operating system responsible for some basic server functions.

CNN: Linux gaining with mission-critical systems

Compaq, HP, and IBM have inked partnership agreements with all the major distributions, but managing multiple documentation sets, utilities, and installation packages for essentially the same operating system kernel may weed out some distributions over time.

CNN: The big business of Linux