kernel/time/Kconfig v3.0-rc7

NO_HZ

Tickless System (Dynamic Ticks)

This option enables a tickless system: timer interrupts will
only trigger on an as-needed basis both when the system is
busy and when the system is idle.

HIGH_RES_TIMERS

High Resolution Timer Support

This option enables high resolution timer support. If your
hardware is not capable then this option only increases
the size of the kernel image.