Marvell 88PM860x

modulename: rtc-88pm860x.ko

configname: CONFIG_RTC_DRV_88PM860X

Linux Kernel Configuration
└─>Device Drivers
└─>Real Time Clock
└─>Marvell 88PM860x
In linux kernel since version 3 (release Date: 2011-07-21)  
If you say yes here you get support for RTC function in Marvell
88PM860x chips.

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

source code: