Clocksource for MPS2 SoCs
modulename: mps2-timer.ko
configname: CONFIG_CLKSRC_MPS2
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Clocksource for MPS2 SoCs