[Pkg-virtualbox-devel] Bug#700516: virtualbox-dkms] building VBOX modules depends on IOMMU being enabled in the kernel config

Chris Knadle Chris.Knadle at coredump.us
Wed Feb 13 20:10:40 UTC 2013


Sending config files used when building linux-source-3.7 from experimental.

Fails to build when using config-3.7.3-c2d-crk-1
Builds fine    when using config-3.7.3-c2d-crk-2

diff between the two:

$ diff -u config-3.7.3-c2d-crk-1 config-3.7.3-c2d-crk-2

--- config-3.7.3-c2d-crk-1      2013-02-13 11:34:38.000000000 -0500
+++ config-3.7.3-c2d-crk-2      2013-02-13 12:35:36.000000000 -0500
@@ -34,6 +34,7 @@
 CONFIG_AUDIT_ARCH=y
 CONFIG_ARCH_SUPPORTS_OPTIMIZED_INLINING=y
 CONFIG_ARCH_SUPPORTS_DEBUG_PAGEALLOC=y
+CONFIG_HAVE_INTEL_TXT=y
 CONFIG_X86_64_SMP=y
 CONFIG_X86_HT=y
 CONFIG_ARCH_HWEIGHT_CFLAGS="-fcall-saved-rdi -fcall-saved-rsi -fcall-saved-
rdx -fcall-saved-rcx -fcall-saved-r8 -fcall-saved-r9 -fcall-saved-r10 -fcall-
saved-r11"
@@ -3324,6 +3325,7 @@
 CONFIG_DCA=y
 # CONFIG_AUXDISPLAY is not set
 # CONFIG_UIO is not set
+# CONFIG_VFIO is not set
 
 #
 # Virtio drivers
@@ -3434,7 +3436,14 @@
 CONFIG_CLKEVT_I8253=y
 CONFIG_I8253_LOCK=y
 CONFIG_CLKBLD_I8253=y
-# CONFIG_IOMMU_SUPPORT is not set
+CONFIG_IOMMU_API=y
+CONFIG_IOMMU_SUPPORT=y
+# CONFIG_AMD_IOMMU is not set
+CONFIG_DMAR_TABLE=y
+CONFIG_INTEL_IOMMU=y
+CONFIG_INTEL_IOMMU_DEFAULT_ON=y
+CONFIG_INTEL_IOMMU_FLOPPY_WA=y
+# CONFIG_IRQ_REMAP is not set
 
 #
 # Remoteproc drivers (EXPERIMENTAL)
@@ -3785,6 +3794,7 @@
 CONFIG_SECURITY_NETWORK=y
 CONFIG_SECURITY_NETWORK_XFRM=y
 CONFIG_SECURITY_PATH=y
+# CONFIG_INTEL_TXT is not set
 CONFIG_LSM_MMAP_MIN_ADDR=65536
 CONFIG_SECURITY_SELINUX=y
 CONFIG_SECURITY_SELINUX_BOOTPARAM=y


Thanks.

  -- Chris

--
Chris Knadle
Chris.Knadle at coredump.us
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config-3.7.3-c2d-crk-1
Type: text/x-mpsub
Size: 98430 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-virtualbox-devel/attachments/20130213/94720751/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config-3.7.3-c2d-crk-2
Type: text/x-mpsub
Size: 98681 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-virtualbox-devel/attachments/20130213/94720751/attachment-0003.bin>


More information about the Pkg-virtualbox-devel mailing list