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

[Julien Grall]

On 23/05/18 01:25, Stefano Stabellini wrote:

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

Signed-off-by: Stefano Stabellini <sstabell...@kernel.org>

Acked-by: Julien Grall <julien.gr...@arm.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 | 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

--
Julien Grall

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