Jan, I fixed the issue. It turns out that VT-d actually *was* disabled in the bios. Once I enabled it in the bios, /sys/firmware/acpi/tables/DMAR appeared and the config generation seemed to work!
Thanks for the assistance! -Michael Details: My motherboard is a B360M Bazooka for an Intel i7-8700K. To enable VT-d in the BIOS, go to Overclocking (OC) -> CPU Features → Intel VT-D Tech and set it from [Disabled] to [Enabled]. Then save and reboot. -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
