All the platforms where ARMv8R AArch32 is being tested use GICv3.
Signed-off-by: Michal Orzel <[email protected]>
---
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
