config PISTACHIO_GPTIMER_CLKSRC
  	bool "Enable General Purpose Timer based clocksource"
  	depends on MACH_PISTACHIO
  	select CLKSRC_PISTACHIO
  	select MIPS_EXTERNAL_TIMER
  	help
  	  This option enables a clocksource driver based on a Pistachio
  	  SoC General Purpose external timer.
  
  	  If you want to enable the CPUFreq, you need to enable
  	  this option.
  
  	  If you don't want to enable CPUFreq, you can leave this disabled.