On Fri, 26 Feb 2016, Shannon Zhao wrote:
> From: Shannon Zhao
>
> acpi_boot_table_init() will be called in start_xen to get the RSDP and
> all the table pointers. With this patch, we can get ACPI boot-time
> tables from firmware on ARM64.
>
> Signed-off-by: Naresh Bhat
> Signed-off-by: Parth Di
From: Shannon Zhao
acpi_boot_table_init() will be called in start_xen to get the RSDP and
all the table pointers. With this patch, we can get ACPI boot-time
tables from firmware on ARM64.
Signed-off-by: Naresh Bhat
Signed-off-by: Parth Dixit
Signed-off-by: Shannon Zhao
---
xen/arch/arm/acpi/
