ST M41T93

modulename: rtc-m41t93.ko

configname: CONFIG_RTC_DRV_M41T93

Linux Kernel Configuration
└─>Device Drivers
└─>Real Time Clock
└─>ST M41T93
In linux kernel since version 3 (release Date: 2011-07-21)  
If you say yes here you will get support for the
ST M41T93 SPI RTC chip.

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

source code:
drivers/rtc/rtc-m41t93.c