Texas Instruments DaVinci timer driver
modulename: timer-davinci.ko
configname: CONFIG_DAVINCI_TIMER
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Texas Instruments DaVinci timer driver
In linux kernel since version 5.1 (release Date: 2019-05-05)
Enables the support for the TI DaVinci timer driver.