Merge branch 'devel-stable' into for-linus

[~andy/linux] / drivers / clocksource / Kconfig

diff --git a/drivers/clocksource/Kconfig b/drivers/clocksource/Kconfig
index 999d6a03e43689c4d82a14f80034aed452c95f38..5138927a416c99acdf13deed3e6d717a616a5af8 100644 (file)
--- a/drivers/clocksource/Kconfig
+++ b/drivers/clocksource/Kconfig
@@ -26,7 +26,6 @@ config CLKSRC_DBX500_PRCMU
 config CLKSRC_DBX500_PRCMU_SCHED_CLOCK
        bool "Clocksource PRCMU Timer sched_clock"
        depends on (CLKSRC_DBX500_PRCMU && !NOMADIK_MTU_SCHED_CLOCK)
-       select HAVE_SCHED_CLOCK
        default y
        help
          Use the always on PRCMU Timer as sched_clock