1if PLAT_VERSATILE
2
3config PLAT_VERSATILE_SCHED_CLOCK
4	bool
5
6endif
7