I'm trying xen dom0 on a DELL optiplex 3020 machine. The machine runs:

         root@xen_test:~ # uname -arn
         FreeBSD xen_test 11.0-CURRENT FreeBSD 11.0-CURRENT #0 r281184:

   The box has a core i5-4590 equipped with VT-d:

         root@xen_test:~ # dmesg|grep EPT
         Secondary Processor
         EPT Features=0x6334141<XO,PW4,UC,WB,2M,1G,INVEPT,AD,single,all>

   Also the box has the last BIOS firmware from its vendor (DELL).

   However, even if VT-d is there, iommu is not enabled. Booting in
verbose mode shows me this:

          root@xen_test:~ # dmesg|grep DMAR
          ACPI: No DMAR table found

   which is the reason iommu support isn't enabled.

   Shouldn't be DMAR be detected if VT-d is there? Any info I can
provide, let me know.



Prou top-posting :    http://ca.wikipedia.org/wiki/Top-posting
Stop top-posting :    http://en.wikipedia.org/wiki/Posting_style   

O O O Gustau Pérez i Querol
O O O Unitat de Gestió dels departaments
O O O Matemàtica Aplicada IV i Enginyeria Telemàtica

      Universitat Politècnica de Catalunya
      Edifici C3 - Despatx S101-B
 UPC  Campus Nord UPC
      C/ Jordi Girona, 1-3
      08034 - Barcelona 

freebsd-current@freebsd.org mailing list
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"

Reply via email to