On 28/11/2019 12:16, H. Nikolaus Schaller wrote:
> Ah, good question. How do I find out? Checking defconfig did not show any
> config with R4K or GIC. So it is likely NONE. CONFIG_RTC_DRV_JZ4740=y if that
> helps.

Try to check what do you have in /sys/devices/system/clocksource.

-- 
Regards,
Vincenzo