if PLAT_VERSATILE

config PLAT_VERSATILE_SCHED_CLOCK
	bool

endif