fix kernel builds on 32bit linux

2014-11-11 07:06:09 +01:00 · 2014-11-11 07:06:09 +01:00 · b9388e9711
commit b9388e9711
parent 44bac05779
1 changed files with 3 additions and 1 deletions
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@ -318,7 +318,9 @@ with stdenv.lib;
  ${optionalString (!stdenv.is64bit) ''
    HIGHMEM64G? y # We need 64 GB (PAE) support for Xen guest support.
  ''}
-  INTEL_IOMMU_DEFAULT_ON y
+  ${optionalString stdenv.is64bit ''
+    INTEL_IOMMU_DEFAULT_ON y
+  ''}
  ${optionalString (versionAtLeast version "3.9") ''
    VFIO_PCI_VGA y
  ''}