We've got a board with the Intel 3100 chipset. It shows a PCI id of
2670, which matches PCI_DEVICE_ID_INTEL_ESB2_0 and so the iTCO_wdt.c
driver happily initializes. However, the documentation for the TCO wdt
for this chipset doesn't match the implementation in the driver, so
things get messed up.
I'm not sure why the PCI IDs match, but maybe there is something else
that the iTCO_wdt driver should key off of to make sure it doesn't try
to run invalid code?
On another note, it appears that Intel has driver code (written for
2.6.18, under dual BSD/GPLv2) for the wdt for this chipset available at:
Are there any plans to incorporate this into mainline?