From 30477123efd2ffe178204beacdad58784a546af4 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Sat, 16 Jan 2010 20:40:59 +0000
Subject: [PATCH] Allow building kernels for CPUs incapable of running Xen

svn path=/nixpkgs/branches/stdenv-updates/; revision=19489
---
 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 b7ae587569eb..1564b0d6161c 100644
--- a/pkgs/os-specific/linux/kernel/config-blocks.nix
+++ b/pkgs/os-specific/linux/kernel/config-blocks.nix
@@ -23,7 +23,7 @@ rec {
         PARAVIRT_GUEST y
         KVM_CLOCK y
         KVM_GUEST y
-        XEN y
+        XEN? y
         KSM y
 
         # We need 64 GB (PAE) support for Xen guest support.