Intel TCO Timer/Watchdog

modulename: iTCO_wdt.ko

and/or

iTCO_vendor_support.ko

configname: CONFIG_ITCO_WDT

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>PCI support
└─>Intel TCO Timer/Watchdog
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
Hardware driver for the intel TCO timer based watchdog devices.
These drivers are included in the Intel 82801 I/O Controller
Hub family (from ICH0 up to ICH10) and in the Intel 63xxESB
controller hub.

The TCO (Total Cost of Ownership) timer is a watchdog timer
that will reboot the machine after its second expiration. The
expiration time can be configured with the "heartbeat" parameter.

On some motherboards the driver may fail to reset the chipset's
NO_REBOOT flag which prevents the watchdog from rebooting the
machine. If this is the case you will get a kernel message like
"failed to reset NO_REBOOT flag, reboot disabled by hardware".

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

source code: