Kernel in Print — Dec. 7, 2012