Xilinx Watchdog timer

modulename: of_xilinx_wdt.ko

configname: CONFIG_XILINX_WATCHDOG

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>Xilinx Watchdog timer
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Watchdog driver for the xps_timebase_wdt ip core.

IMPORTANT: The xps_timebase_wdt parent must have the property
"clock-frequency" at device tree.

To compile this driver as a module, choose M here: the
module will be called of_xilinx_wdt.

source code: