CONFIG_DIGICOLOR_TIMER (not configurable)
modulename: timer-digicolor.ko
configname: CONFIG_DIGICOLOR_TIMER
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>DIGICOLOR_TIMER