NixOS/nixpkgs — pull request #501 by iElectric (2013-05-04 14:34:23+00:00)
Title: Set default kernel to 3.8

Following discussion from NixOS/157, is anything stopping us from upgrading default kernel to 3.8?