Re: [Xen-devel] [PATCH v2 1/3] x86/boot: add acpi rsdp address to setup_header

[Jan Beulich]

>>> On 08.12.17 at 08:16, <mingo@xxxxxxxxxx> wrote:
> Also, a more fundamental question: why doesn't Xen use EFI to hand over 
> hardware configuration details?

Iirc the main purpose of the change here is to allow booting PVH
(guest or Dom0) with Grub2 in the middle. PVH, at least for the
time being, is something that gets away without any firmware
(and I'm pretty certain this is going to remain that way for Dom0).
ACPI tables are being built by the tool stack (guest) or hypervisor
(Dom0). Hence there simply isn't any EFI which could be used to
propagate such information.

Jan