2011-01-18 13:08:06 -07:00
|
|
|
if PLAT_VERSATILE
|
|
|
|
|
2012-07-05 04:35:33 -06:00
|
|
|
config PLAT_VERSATILE_CLOCK
|
|
|
|
bool
|
|
|
|
|
2011-01-18 13:26:08 -07:00
|
|
|
config PLAT_VERSATILE_SCHED_CLOCK
|
2014-11-25 11:17:34 -07:00
|
|
|
bool
|
2011-01-18 13:26:08 -07:00
|
|
|
|
2011-01-18 13:08:06 -07:00
|
|
|
endif
|