diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-09-10 16:27:39 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-09-10 16:27:39 +0000 |
commit | 13f346058cf6fd1c37db29dadb1279c60fd97d0e (patch) | |
tree | c0753ee490c6ab792ff02753cfadd4697e535ac7 /pkgs/os-specific/linux/kernel/generic.nix | |
parent | 3b4c29781bbd17060fc2b7596256e9bfe1a977e6 (diff) | |
download | nixlib-13f346058cf6fd1c37db29dadb1279c60fd97d0e.tar nixlib-13f346058cf6fd1c37db29dadb1279c60fd97d0e.tar.gz nixlib-13f346058cf6fd1c37db29dadb1279c60fd97d0e.tar.bz2 nixlib-13f346058cf6fd1c37db29dadb1279c60fd97d0e.tar.lz nixlib-13f346058cf6fd1c37db29dadb1279c60fd97d0e.tar.xz nixlib-13f346058cf6fd1c37db29dadb1279c60fd97d0e.tar.zst nixlib-13f346058cf6fd1c37db29dadb1279c60fd97d0e.zip |
* Add a branch of the Linux kernel that can be used in Xen's Dom0.
From http://git.kernel.org/?p=linux/kernel/git/jeremy/xen.git;a=shortlog;h=refs/heads/xen/stable-2.6.32.x svn path=/nixpkgs/trunk/; revision=23729
Diffstat (limited to 'pkgs/os-specific/linux/kernel/generic.nix')
-rw-r--r-- | pkgs/os-specific/linux/kernel/generic.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/os-specific/linux/kernel/generic.nix b/pkgs/os-specific/linux/kernel/generic.nix index 408603841220..da3f6862a101 100644 --- a/pkgs/os-specific/linux/kernel/generic.nix +++ b/pkgs/os-specific/linux/kernel/generic.nix @@ -27,9 +27,6 @@ , # Whether to build a User-Mode Linux kernel. userModeLinux ? false -, # Whether to build a Xen kernel. - xen ? false - , # Allows you to set your own kernel version suffix (e.g., # "-my-kernel"). localVersion ? "" @@ -93,7 +90,6 @@ stdenv.mkDerivation { # Should we trust platform.kernelArch? We can only do # that once we differentiate i686/x86_64 in platforms. arch = - if xen then "xen" else if userModeLinux then "um" else if stdenv.system == "i686-linux" then "i386" else if stdenv.system == "x86_64-linux" then "x86_64" else |