Hi Julien, On 2016年05月31日 18:47, Julien Grall wrote: > Hi Shannon, > > On 31/05/16 06:02, Shannon Zhao wrote: >> From: Shannon Zhao <shannon.z...@linaro.org> >> >> The design of this feature is described as below. >> Firstly, the toolstack (libxl) generates the ACPI tables according the >> number of vcpus and gic controller. >> >> Then, it copies these ACPI tables to DomU memory space and passes >> them to UEFI firmware through the "ARM multiboot" protocol. >> >> At last, UEFI gets the ACPI tables through the "ARM multiboot" protocol >> and installs these tables like the usual way and passes both ACPI and DT >> information to the Xen DomU. >> >> Currently libxl only generates RSDP, XSDT, GTDT, MADT, FADT, DSDT tables >> since it's enough now. >> >> This has been tested using guest kernel with the Dom0 ACPI support >> patches which could be fetched from: >> https://git.kernel.org/cgit/linux/kernel/git/mfleming/efi.git/log/?h=efi/arm-xen >> > > Where can I find the UEFI firmware? What is the guest configuration to use? > The corresponding UEFI patch can be found from below url: https://www.mail-archive.com/xen-devel@lists.xen.org/msg69468.html
You can use the above guest kernel with defconfig. Thanks, -- Shannon _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
