<div dir="ltr">Hi all,<br><br>To answer <a href="http://review.coreboot.org/3517">http://review.coreboot.org/3517</a> about what the vendor BIOS does for the IOMMU, here are my kernel logs (with the IOMMU enabled)<br><br>Please note:<br>
Command line: ... iommu=pt<br><br>I had to do that to work around (more like, bury my head in the sand) the problem with the on-board RTL8111/8168F, which trips over the IOMMU when utilization gets near 100% gigabit speed. I put the details on kernel bugzilla <a href="https://bugzilla.kernel.org/show_bug.cgi?id=55841">https://bugzilla.kernel.org/show_bug.cgi?id=55841</a><br>
<br>David</div>