2019-05-19 20:07:45 +08:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2011-01-19 04:08:06 +08:00
|
|
|
if PLAT_VERSATILE
|
|
|
|
|
2011-01-19 04:26:08 +08:00
|
|
|
config PLAT_VERSATILE_SCHED_CLOCK
|
2014-11-26 02:17:34 +08:00
|
|
|
bool
|
2011-01-19 04:26:08 +08:00
|
|
|
|
2011-01-19 04:08:06 +08:00
|
|
|
endif
|