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