arm64: move from arm_generic to arm_arch_timer

[linux-2.6-block.git] / drivers / clocksource / Kconfig

diff --git a/drivers/clocksource/Kconfig b/drivers/clocksource/Kconfig
index dbb085ac64d472ec9d43129c92a871ab47489229..64798424b6cbff55f13c09854576494cd8551ae4 100644 (file)
--- a/drivers/clocksource/Kconfig
+++ b/drivers/clocksource/Kconfig
@@ -54,10 +54,5 @@ config CLKSRC_DBX500_PRCMU_SCHED_CLOCK
        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.
-
 config ARM_ARCH_TIMER
        bool