[PATCH] Fix vmi time header bug
[wrt350n-kernel.git] / kernel / time / Kconfig
blobf66351126544801116759583e26736f45ffb8402
2 # Timer subsystem related configuration options
4 config TICK_ONESHOT
5         bool
6         default n
8 config NO_HZ
9         bool "Tickless System (Dynamic Ticks)"
10         depends on GENERIC_TIME && GENERIC_CLOCKEVENTS
11         select TICK_ONESHOT
12         help
13           This option enables a tickless system: timer interrupts will
14           only trigger on an as-needed basis both when the system is
15           busy and when the system is idle.
17 config HIGH_RES_TIMERS
18         bool "High Resolution Timer Support"
19         depends on GENERIC_TIME && GENERIC_CLOCKEVENTS
20         select TICK_ONESHOT
21         help
22           This option enables high resolution timer support. If your
23           hardware is not capable then this option only increases
24           the size of the kernel image.