[Xen-devel] [PATCH v2 0/2] xen/arm: vgic-v3: bug fixes

[Julien Grall <julien.grall@xxxxxxx>]

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@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel