Hi all, This series is meant to address Dom0 boot failure when running on GICv4 platforms as well as when the number of vCPUs is not equal to the numbers of pCPUs. They should be backported up Xen 4.8.
Cheers, Julien Grall (2): xen/arm: vgic-v3: Delay the initialization of the domain information xen/arm: vgic-v3: Don't create empty re-distributor regions xen/arch/arm/gic-v3.c | 14 +++++++++++--- xen/arch/arm/vgic-v3.c | 50 +++++++++++++++++++++++++++++++++++++++++++++----- 2 files changed, 56 insertions(+), 8 deletions(-) -- 2.11.0 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
