Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / arm / plat-versatile / Kconfig
1 if PLAT_VERSATILE
2
3 config PLAT_VERSATILE_CLOCK
4         bool
5
6 config PLAT_VERSATILE_SCHED_CLOCK
7         bool
8
9 endif