Re: [ROM+Kernel][CM-11.0][4.4.2][OS2SD/internal]OV-KitKat (JBC based)
Ok, looking into the available clocksource timers reveal that there are 2 dg_timer and gp_timer. The current clocksource in use with the kernel is dg_timer. Switching the timer is supposed to eliminate/fix timekeeping, so in theory switching to gp_timer should maybe get rid of clock lag. Doing this is beyond my ability, so maybe someone who actually knows what they are doing can give it a try.
To check available
$ cat /sys/devices/system/clocksource/clocksource0/available_clocksource
Next, check the current clock source in use:
$ cat /sys/devices/system/clocksource/clocksource0/current_clocksource
Finally, set the new clock source:
echo <new clock source selection> > /sys/devices/system/clocksource/clocksource0/current_clocksource
To make this change persistent across system reboots, the following must be added to the kernel command line in /boot/grub/grub.conf:
clocksource=<clock source choice>