On 10/20/2013 9:27 PM, Dale wrote:
I did some googling and found out that I have to add " iommu=pt" to the kernel command line. When I do that, it works fine.
In the UEFI/BIOS menus; does it have a "|IOMMU Controller" option and if
it does, try enabling it and boot linux normally. |