Linux Watchdog Device Drivers - Links page