S3C2410 Watchdog

modulename: s3c2410_wdt.ko

configname: CONFIG_S3C2410_WATCHDOG

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>S3C2410 Watchdog
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
Watchdog timer block in the Samsung S3C2410 chips. This will
reboot the system when the timer expires with the watchdog
enabled.

The driver is limited by the speed of the system's PCLK
signal, so with reasonably fast systems (PCLK around 50-66MHz)
then watchdog intervals of over approximately 20seconds are
unavailable.

The driver can be built as a module by choosing M, and will
be called s3c2410_wdt

source code: