Hi Valerio, On Thu, Sep 08, 2016 at 09:07:56PM +0200, Valerio Passini wrote: > I'm hoping having done it right and I can try your first suggestion, but I > really cannot solve this problem by myself: sorry, I have no capabilities in > programming in any known and unknown computer language. Surely, I can test all > the patches you want and report the results but this is the best I can do. Best > regards Can you please send me the full dmesg after boot? The Intel-IOMMU is not enabled by default, so I want to check if it is either enabled by kernel-config or kernel command-line. Thanks, Joerg
