Hello, This patch series fixes secondary bring up and the use of the PL011 UART driver when Xen boots using ACPI.
Regards, Cc: wei.l...@citrix.com Julien Grall (5): drivers/pl011: ACPI: The interrupt should always be high level triggered xen/arm: acpi: The boot CPU does not always match the first entry in the MADT xen/arm: acpi: Fix SMP support when booting with ACPI xen/arm: acpi: Remove uncessary check in acpi_map_gic_cpu_interface xen/arm: acpi: Print more error messages in acpi_map_gic_cpu_interface xen/arch/arm/acpi/boot.c | 38 ++++++++++++++++++++++++++------------ xen/drivers/char/pl011.c | 2 +- 2 files changed, 27 insertions(+), 13 deletions(-) -- 1.9.1 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel