Cadence Watchdog Timer

modulename: cadence_wdt.ko

configname: CONFIG_CADENCE_WATCHDOG

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>Cadence Watchdog Timer
In linux kernel since version 3.18 (release Date: 2014-12-07)  
Say Y here if you want to include support for the watchdog
timer in the Xilinx Zynq.

source code:
drivers/watchdog/cadence_wdt.c