On 11/08/2017 09:17 AM, Juergen Gross wrote: > 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. Right. Guest booted from default entry will have to discover RSDP in the usual way. -boris