> Also, IIRC X58 had some interrupt remapping issues, can you try to > boot with iommu=no-intremap? (without any other iommu options) Let me try quickly that. No serial it is too complicated for this machine. If we can make this running do you think FreeBSD Xen Dom0 will ever support HVM linux guests ? stefan