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.
|

Reply via email to