Remove User Mode Linux

It hasn't built in a long time and it's obsolete IMHO.
This commit is contained in:
Eelco Dolstra
2012-09-21 13:32:37 -04:00
parent 7057acb322
commit 0874615fcc
11 changed files with 9 additions and 55 deletions

View File

@@ -1,4 +1,4 @@
args @ { stdenv, fetchurl, userModeLinux ? false, extraConfig ? ""
args @ { stdenv, fetchurl, extraConfig ? ""
, perl, mktemp, module_init_tools
, ... }: