From 557a3c92e3cb5f81e9d1a72ab9cfc1964a3dadd6 Mon Sep 17 00:00:00 2001
From: "William A. Kennington III" <william@wkennington.com>
Date: Thu, 13 Nov 2014 16:23:49 -0800
Subject: [PATCH] kernel: Don't enable the iommu by default as this breaks for
 some hardware

---
 pkgs/os-specific/linux/kernel/common-config.nix | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index 0aaefc2a723e..48493044065c 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -318,9 +318,6 @@ with stdenv.lib;
   ${optionalString (!stdenv.is64bit) ''
     HIGHMEM64G? y # We need 64 GB (PAE) support for Xen guest support.
   ''}
-  ${optionalString stdenv.is64bit ''
-    INTEL_IOMMU_DEFAULT_ON y
-  ''}
   ${optionalString (versionAtLeast version "3.9" && stdenv.is64bit) ''
     VFIO_PCI_VGA y
   ''}