Clocksource for MPS2 SoCs
modulename: mps2-timer.ko
configname: CONFIG_CLKSRC_MPS2
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Clocksource for MPS2 SoCs
In linux kernel since version 4.1 (release Date: 2015-06-21)
source code:
depends
CONFIG_GENERIC_SCHED_CLOCKNOT CONFIG_ARCH_USES_GETTIMEOFFSET