On 08/11/17 15:10, Boris Ostrovsky wrote: > On 11/08/2017 08:36 AM, Juergen Gross wrote: >> >> Regarding ACPI tables: current PVH implementation in Linux kernel >> seems not to make use of the special information presented in the boot >> information block. > > It will need to do so for dom0 (and, then, for simplicity, for all PVH > guests). What about: for all PVH guests booted via the PVH specific boot entry? A guest booted via the default boot entry won't know it is PVH until ACPI tables have been scanned. Juergen