cannot install FreeBSD 12.0 Xen 4.12.1 on Intel Core i7 CPU 930

[Stefan Parvu]

> 
> Does it happen in Xen or in FreeBSD dom0 kernel?

Xen. Here:
http://www.kronometrix.org/bugs/freebsd_xen.jpg

> I have Xeon E3-1234 but I run 11.2-STABLE with xen-kernel-4.7.2_9 for a very long time already.
> I also have:
> 
> hw.pci.mcfg=0
> machdep.hyperthreading_allowed=0

Should I add these to sysctl.conf ? I will try tomorrow. To me it looks whatever I try I cannot
get IOMMU on this hdw with FreeBSD 12 and Xen 4.12.1. I havent tried another FreeBSD version.

Previously this box was running Ubuntu 16.x and KVM with no problems.

Stefan