On Wed, Aug 24, 2011 at 2:13 PM, Mark Knecht <[email protected]> wrote: > http://cateee.net/lkddb/web-lkddb/IOMMU_SUPPORT.html > > which seem to indicate that I should see an IOMMU option somewhere in > the drivers section of the kernel config. I do not, however, find that > right now which is why I came here to ask.
It looks to me like the specific option CONFIG_IOMMU_SUPPORT was just added for kernel 3.1, so you won't see it until then. It even mentions it on the page you linked to:: "found in Linux kernels: 3.1-rc+HEAD" It appears virtualbox-modules 4.1.0 doesn't check this. Maybe 4.1.2 is developed against the 3.1 kernel... Maybe you should switch to the latest git kernel, if you dare, or maybe you could mask the vbox modules 4.1.2 and use 4.1.0 instead? I'm not a virtualbox user so I have no idea if that's a reasonable suggestion or not, but I'm just throwing it out there. :)
