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