Rockchip RK805/RK808/RK809/RK817/RK818 RTC

modulename: rtc-rk808.ko

configname: CONFIG_RTC_DRV_RK808

Linux Kernel Configuration
└─>Device Drivers
└─>Real Time Clock
└─>Rockchip RK805/RK808/RK809/RK817/RK818 RTC
In linux kernel since version 3.10 (release Date: 2013-06-30)  
If you say yes here you will get support for the
RTC of RK805, RK809 and RK817, RK808 and RK818 PMIC.

This driver can also be built as a module. If so, the module
will be called rk808-rtc.

source code: