This is an archived copy of the Xen.org mailing list, which we have
preserved to ensure that existing links to archives are not broken.
The live archive, which contains the latest emails, can be found at
do you have any idea how to solve this issue? - thank you in advance for
any hints (different one than killing the hardware vendor (HP) ;) ...
for the missing IOMMU BIOS option
Linux xen41dom0 2.6.39-2-amd64 #1 SMP Wed Jun 8 11:01:04 UTC 2011 x86_64
Thank you in advance for any hints.
Xen-devel mailing list