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

[Roger Pau Monné]

On Wed, Oct 16, 2019 at 06:15:33PM +0300, Stefan Parvu wrote:
> > # acpidump -t|grep DMAR
> >  DMAR: Length=180, Revision=1, Checksum=195,
> > 	OEMID=A M I, OEM Table ID=OEMDMAR, OEM Revision=0x1,
> > 
> 
> root at earth:~ # acpidump -t | grep DMAR
>   DMAR: Length=288, Revision=1, Checksum=93,
> 	OEMID=AMI, OEM Table ID=OEMDMAR, OEM Revision=0x1,

So there's an iommu, then it must be Xen refusing to use it.

Is it possible for you to setup a serial console in order to get the
full Xen boot log?

Also, IIRC X58 had some interrupt remapping issues, can you try to
boot with iommu=no-intremap? (without any other iommu options)

Thanks, Roger.