The kernel is not the OS. [cue holy war] The OS is actually GNU, and if you are running what most people casually call Linux you are running the GNU operating system with a Linux kernel. What [link|http://www.gnu.org/gnu/gnu-linux-faq.html#why|should] be called "GNU/Linux".
If you want to be pedantic, that is.