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.
-- I am only responsible for what I said ... Not for what you understood or how you interpreted my words!