Merge branch 'next/dt2' into HEAD

[cascardo/linux.git] / drivers / clocksource / Kconfig

diff --git a/drivers/clocksource/Kconfig b/drivers/clocksource/Kconfig
index d53cd0a..6a78073 100644 (file)
--- a/drivers/clocksource/Kconfig
+++ b/drivers/clocksource/Kconfig
@@ -35,3 +35,8 @@ config CLKSRC_DBX500_PRCMU_SCHED_CLOCK
        default y
        help
          Use the always on PRCMU Timer as sched_clock
+
+config CLKSRC_ARM_GENERIC
+       def_bool y if ARM64
+       help
+         This option enables support for the ARM generic timer.