* David Woodhouse <[email protected]> wrote:
> On Wed, 2012-06-06 at 10:16 +0200, Ingo Molnar wrote:
>
> > So basically the patch-set is fine as-is, we just want a
> > sufficiently nasty sounding warning message about the BIOS
> > bug,
>
> No. The other change that's required is that the warning and
> the workaround need to trigger even when IOMMU support isn't
> built into the kernel. This BIOS bug can bite you even when
> you aren't *using* the IOMMU.
Right, but that's the status quo and most of the time (distro
kernels) the driver is available, right?
So for all practical purposes we get 99% of the warning power
without going into chicken-and-egg problems like how do we
determine that there's an IOMMU area there if there's no IOMMU
aware code in the kernel, right?
Thanks,
Ingo
_______________________________________________
iommu mailing list
[email protected]
https://lists.linuxfoundation.org/mailman/listinfo/iommu