Re: [PATCH v2 8/8] arm: use new irqchip parameter to create different vGIC types

2015-06-10 Thread Marc Zyngier
On 05/06/15 09:37, Andre Przywara wrote: > Currently we unconditionally create a virtual GICv2 in the guest. > Add a --irqchip= parameter to let the user specify a different GIC > type for the guest. > For now we the only other supported type is GICv3. > > Signed-off-by: Andre Przywara > --- > a

[PATCH v2 8/8] arm: use new irqchip parameter to create different vGIC types

2015-06-05 Thread Andre Przywara
Currently we unconditionally create a virtual GICv2 in the guest. Add a --irqchip= parameter to let the user specify a different GIC type for the guest. For now we the only other supported type is GICv3. Signed-off-by: Andre Przywara --- arm/aarch64/arm-cpu.c| 2 +- arm/gic.