Set the default Linux kernel to 3.4

3.4 is the most recent long-term stable branch, which will be
maintained until October 2014 at least.

Issue #501.
This commit is contained in:
Eelco Dolstra 2013-07-15 14:28:49 +02:00
parent 66b2ff1074
commit 46a2dfe960

View File

@ -6549,7 +6549,7 @@ let
# The current default kernel / kernel modules.
linux = linuxPackages.kernel;
linuxPackages = linuxPackages_3_2;
linuxPackages = linuxPackages_3_4;
# A function to build a manually-configured kernel
linuxManualConfig = import ../os-specific/linux/kernel/manual-config.nix {