Hi Michal,
> On 20 Jan 2026, at 11:51, Michal Orzel <michal.orzel@amd.com> wrote:
>
> All the platforms where ARMv8R AArch32 is being tested use GICv3.
>
Make sense i think.
> Signed-off-by: Michal Orzel <michal.orzel@amd.com>
Acked-by: Bertrand Marquis <bertrand.marquis@arm.com>
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
>