The ARM Architected timer is available on ARMv7 SoCs only.
As both ARCH_MULTIPLATFORM and ARM_SINGLE_ARMV7M select
GENERIC_CLOCKEVENTS, there is no need for HAVE_ARM_ARCH_TIMER to select
GENERIC_CLOCKEVENTS.

Signed-off-by: Geert Uytterhoeven <[email protected]>
---
 arch/arm/Kconfig | 1 -
 1 file changed, 1 deletion(-)

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 66a04f6f47753009..05fe7c054559bee6 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -1245,7 +1245,6 @@ config HAVE_ARM_ARCH_TIMER
        bool "Architected timer support"
        depends on CPU_V7
        select ARM_ARCH_TIMER
-       select GENERIC_CLOCKEVENTS
        help
          This option enables support for the ARM architected timer
 
-- 
2.17.1

Reply via email to