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