From c0bca28b2f54cf8dbf9c502153950a6116947438 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Fri, 15 Jan 2010 05:30:00 +0000
Subject: [PATCH] Do not insist on using CONFIG_PAE if we are trying to build a
 non-PAE kernel

svn path=/nixpkgs/trunk/; revision=19454
---
 pkgs/os-specific/linux/kernel/config-blocks.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/os-specific/linux/kernel/config-blocks.nix b/pkgs/os-specific/linux/kernel/config-blocks.nix
index ff018929364..b7ae587569e 100644
--- a/pkgs/os-specific/linux/kernel/config-blocks.nix
+++ b/pkgs/os-specific/linux/kernel/config-blocks.nix
@@ -32,7 +32,7 @@ rec {
 
       noPAE = ''
         HIGHMEM64G? n
-        PAE n
+        PAE? n
       '';
 
       usefulSubsystems = ''