Intel XScale IXP4xx timer driver
modulename: timer-ixp4xx.ko
configname: CONFIG_IXP4XX_TIMER
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Intel XScale IXP4xx timer driver
In linux kernel since version 5.1 (release Date: 2019-05-05)
Enables support for the Intel XScale IXP4xx SoC timer.