Some of preparation work for adding Xen. Troubles: 1. Xen Dom0 support not complete in mainline. 2. Xen's love to check for headers in /usr/include. To do afterwards: We need to change bootloading setup a bit.

svn path=/nixpkgs/trunk/; revision=12941
2008-10-04 15:24:08 +00:00
parent b28de1b619
commit 3a7ffa5c58
3 changed files with 57 additions and 0 deletions
--- a/pkgs/os-specific/linux/kernel/linux.nix
+++ b/pkgs/os-specific/linux/kernel/linux.nix
@@ -16,6 +16,9 @@
 , # 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 for output
  version ? "unknown"

@@ -72,6 +75,7 @@ stdenv.mkDerivation {
  
  arch =
    if userModeLinux then "um" else
+    if xen then "xen" else
    if stdenv.system == "i686-linux" then "i386" else
    if stdenv.system == "x86_64-linux" then "x86_64" else
    abort "Platform ${stdenv.system} is not supported.";