Clocksource using goldfish-rtc
modulename: timer-goldfish.ko
configname: CONFIG_GOLDFISH_TIMER
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Clocksource using goldfish-rtc
In linux kernel since version 5.2 (release Date: 2019-07-07)
Support for the timer/counter of goldfish-rtc