1# SPDX-License-Identifier: GPL-2.0-only
2if PLAT_VERSATILE
3
4config PLAT_VERSATILE_SCHED_CLOCK
5	bool
6
7endif
8