I'm running Arch with 3.6.10 kernel,
When vboxpci module is loaded, it tells me vboxpci: IOMMU not found (not registered),
But I checked my kernel config, I have the INTEL_IOMMU set already (I uses a Thinkpad X220)
CONFIG_GART_IOMMU=y
# CONFIG_CALGARY_IOMMU is not set
CONFIG_IOMMU_HELPER=y
CONFIG_IOMMU_API=y
CONFIG_IOMMU_SUPPORT=y
# CONFIG_AMD_IOMMU is not set
CONFIG_INTEL_IOMMU=y
CONFIG_INTEL_IOMMU_DEFAULT_ON=y
CONFIG_INTEL_IOMMU_FLOPPY_WA=y
# CONFIG_IOMMU_STRESS is not set
Kernel command:
BOOT_IMAGE=/boot/vmlinuz-linux root=/XX processor.ignore_ppc=1 apparmor=1 security=apparmor intel_iommu=on
Any suggestions? Althrough VBox starts, but still wondering why.