nohz: Fix stale jiffies update in tick_nohz_restart()
[linux-2.6.git] / kernel / time / Kconfig
index f06a8a3..a20dc8a 100644 (file)
@@ -1,6 +1,10 @@
 #
 # Timer subsystem related configuration options
 #
+
+# Core internal switch. Selected by NO_HZ / HIGH_RES_TIMERS. This is
+# only related to the tick functionality. Oneshot clockevent devices
+# are supported independ of this.
 config TICK_ONESHOT
        bool
 
@@ -25,5 +29,7 @@ config HIGH_RES_TIMERS
 config GENERIC_CLOCKEVENTS_BUILD
        bool
        default y
-       depends on GENERIC_CLOCKEVENTS || GENERIC_CLOCKEVENTS_MIGR
+       depends on GENERIC_CLOCKEVENTS
 
+config GENERIC_CLOCKEVENTS_MIN_ADJUST
+       bool