ARM Versatile (Express) reference platforms clock source

modulename: timer-versatile.ko

configname: CONFIG_CLKSRC_VERSATILE

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>ARM Versatile (Express) reference platforms clock source
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This option enables clock source based on free running
counter available in the "System Registers" block of
ARM Versatile and Versatile Express reference platforms.

source code:
selects
CONFIG_TIMER_OF

depends
CONFIG_GENERIC_CLOCKEVENTS
CONFIG_GENERIC_SCHED_CLOCK

is depended by
CONFIG_ARCH_VERSATILE