From f5ac7cc2b9ca0cf106a73e8a571c36615858adb5 Mon Sep 17 00:00:00 2001 From: Stefano Stabellini Date: Tue, 31 Jul 2018 08:15:01 -0700 Subject: [PATCH] arm: make it possible to disable HAS_GICV3 Today it is a silent option. This patch adds a one line description and makes it optional. Signed-off-by: Stefano Stabellini Acked-by: Julien Grall CC: George.Dunlap@eu.citrix.com CC: Ian.Jackson@eu.citrix.com CC: jbeulich@suse.com CC: andrew.cooper3@citrix.com --- Changes in v3: - remove any changes to MEM_ACCESS - update commit message Changes in v2: - make HAS_GICv3 depend on ARM_64 - remove modifications to ARM_HDLCD kconfig, it has been removed --- xen/arch/arm/Kconfig | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig index 06ba4a4d6e..ce83490ca8 100644 --- a/xen/arch/arm/Kconfig +++ b/xen/arch/arm/Kconfig @@ -12,7 +12,6 @@ config ARM_32 config ARM_64 def_bool y depends on 64BIT - select HAS_GICV3 config ARM def_bool y @@ -41,7 +40,13 @@ config ACPI an alternative to device tree on ARM64. config HAS_GICV3 - bool + bool "GICv3 driver" + depends on ARM_64 + default y + ---help--- + + Driver for the ARM Generic Interrupt Controller v3. + If unsure, say Y config HAS_ITS bool -- 2.30.2