[Xen-devel] [PATCH v4 02/10] arm: make it possible to disable HAS_GICV3

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

Today it is a silent option. This patch adds a one line description and
makes it optional.

Signed-off-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
Acked-by: Julien Grall <julien.grall@xxxxxxx>

---
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 | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index 4dc7ef5..fb69a66 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
@@ -42,6 +41,13 @@ config ACPI
 
 config HAS_GICV3
        bool
+       prompt "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
-- 
1.9.1


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel