config MS_CA9_GT_CLOCKSOURCE
	bool    "ARM CA9 GT Timer for clocksource"
	depends on ARCH_CEDRIC
	depends on ARM_GLOBAL_TIMER

config MS_PIU_TIMER
	bool    "PIU Timer driver"

