Armada 38x Marvell SoC RTC

modulename: rtc-armada38x.ko

configname: CONFIG_RTC_DRV_ARMADA38X

Linux Kernel Configuration
└─>Device Drivers
└─>Real Time Clock
└─>Device Tree and Open Firmware support
└─>Armada 38x Marvell SoC RTC
In linux kernel since version 3.10 (release Date: 2013-06-30)  
If you say yes here you will get support for the in-chip RTC
that can be found in the Armada 38x Marvell's SoC device

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

source code:
depends
CONFIG_OF
CONFIG_RTC_CLASS
CONFIG_ARCH_MVEBU or CONFIG_COMPILE_TEST