Linux Watchdog Device Drivers - Documentation page