From 6b6cee46c7b52d933a21306bbb22a31de6456dcd Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Tue, 8 Nov 2011 19:51:39 +0000
Subject: [PATCH] * By popular demand, provide an ISO with a more recent
 kernel.

svn path=/nixos/trunk/; revision=30344
---
 modules/installer/cd-dvd/installation-cd-new-kernel.nix | 8 ++++++++
 release.nix                                             | 7 +++++++
 2 files changed, 15 insertions(+)
 create mode 100644 modules/installer/cd-dvd/installation-cd-new-kernel.nix

diff --git a/modules/installer/cd-dvd/installation-cd-new-kernel.nix b/modules/installer/cd-dvd/installation-cd-new-kernel.nix
new file mode 100644
index 000000000000..1340b9787ca9
--- /dev/null
+++ b/modules/installer/cd-dvd/installation-cd-new-kernel.nix
@@ -0,0 +1,8 @@
+{ config, pkgs, ... }:
+
+{
+  require = [ ./installation-cd-graphical.nix ];
+
+  boot.kernelPackages = pkgs.linuxPackages_3_0;
+  boot.vesa = false;
+}
diff --git a/release.nix b/release.nix
index 0a414fd9ccbe..44d87e154cdb 100644
--- a/release.nix
+++ b/release.nix
@@ -130,6 +130,13 @@ let
       type = "graphical";
     };
 
+    # A variant with a more recent (but possibly less stable) kernel
+    # that might support more hardware.
+    iso_new_kernel = makeIso {
+      module = ./modules/installer/cd-dvd/installation-cd-new-kernel.nix;
+      type = "new-kernel";
+    };
+
 
     # Provide a tarball that can be unpacked into an SD card, and easily
     # boot that system from uboot (like for the sheevaplug).