mbox series

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

Message ID 20181001164227.6562-1-julien.grall@arm.com
Headers show
Series xen/arm: vgic-v3: bug fixes | expand

Message

Julien Grall Oct. 1, 2018, 4:42 p.m. UTC 
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(-)