Re: [gentoo-user] CONFIG_IOMMU_SUPPORT???

[Paul Hartman <paul.hartman+gentoo@gmail.com>]

On Wed, Aug 24, 2011 at 2:13 PM, Mark Knecht <markknecht@gmail.com> 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. :)