Hi Michal, > On 20 Jan 2026, at 11:51, Michal Orzel <[email protected]> wrote: > > All the platforms where ARMv8R AArch32 is being tested use GICv3. >
Make sense i think. > Signed-off-by: Michal Orzel <[email protected]> Acked-by: Bertrand Marquis <[email protected]> Cheers Bertrand > --- > xen/arch/arm/Kconfig | 3 +-- > 1 file changed, 1 insertion(+), 2 deletions(-) > > diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig > index 0d81a4d8b437..442d353b4343 100644 > --- a/xen/arch/arm/Kconfig > +++ b/xen/arch/arm/Kconfig > @@ -128,8 +128,7 @@ config GICV2 > config GICV3 > bool "GICv3 driver" > depends on !NEW_VGIC > - default n if ARM_32 > - default y if ARM_64 > + default y if ARM_64 || MPU > help > > Driver for the ARM Generic Interrupt Controller v3. > -- > 2.43.0 >
