config HRTIMERS_SUPPORT
	bool
	prompt "hrtimers-support"
	default N
	help
	  This is the support library for the High Resolution Timer
	  project. More details can be found on 

		http://sourceforge.net/projects/high-res-timers/