#
# Timer subsystem related configuration options
#
config HIGH_RES_TIMERS
	bool "High Resolution Timer Support"
	depends on GENERIC_TIME
	help
	  This option enables high resolution timer support. If your
	  hardware is not capable then this option only increases
	  the size of the kernel image.

config HIGH_RES_RESOLUTION
	int "High Resolution Timer resolution (nanoseconds)"
	depends on HIGH_RES_TIMERS
	default 1000
	help
	  This sets the resolution in nanoseconds of the high resolution
	  timers. Too fine a resolution (small a number) will usually
	  not be observable due to normal system latencies.  For an
          800 MHz processor about 10,000 (10 microseconds) is recommended as a
	  finest resolution.  If you don't need that sort of resolution,
	  larger values may generate less overhead.
