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