Marvell 88PM80x

modulename: rtc-88pm80x.ko

configname: CONFIG_RTC_DRV_88PM80X

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

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

source code: