Merge tag 'deps-irqchip-gic-3.17' of git://git.infradead.org/users/jcooper/linux
[cascardo/linux.git] / arch / arm64 / Kconfig
index f4615ba..bfd60fa 100644 (file)
@@ -10,6 +10,7 @@ config ARM64
        select ARM_ARCH_TIMER
        select ARM_GIC
        select AUDIT_ARCH_COMPAT_GENERIC
+       select ARM_GIC_V3
        select BUILDTIME_EXTABLE_SORT
        select CLONE_BACKWARDS
        select COMMON_CLK