SOFTDOG(softdog.ko)
http://www.hinet.mydns.jp/tdiary/?date=20071210
http://blog.gcd.org/archives/50459506.html
intel TCO timer based watchdog
http://blog.gcd.org/archives/51077399.html
IPMI watchdog timer
http://blog.gcd.org/archives/51198587.html
めも
追記
IPMI watchdog timer
BIOSでenableに設定してモジュールロード
modprobe ipmi_msghandler modprobe ipmi_devintf modprobe ipmi_si modprobe ipmi_watchdog timeout=60
動作チェック
date ; echo @ > /dev/watchdog
参考
http://pukiwiki.sakuragaoka.info/pukiwiki.php?IPMI
http://www.ie.u-ryukyu.ac.jp:16080/howto/index.php?Software%2FIPMITool
http://ktarn.www.linux.or.jp/JF/JFdocs/kernel-docs-2.6/IPMI.txt.html
http://www.sfo.jp/blog/archives/2005/09/linux_ipmi.html