https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=259673
--- Comment #4 from Andriy Gapon <a...@freebsd.org> --- I made a quick look at Linux code and there is an interesting thing. Linux has drivers/watchdog/iTCO_wdt.c driver which is roughly equivalent to FreeBSD ichwd and works approximately the same. It's a "platform" driver and its configured via an LPC driver. But additionally there is drivers/watchdog/i6300esb.c driver specifically for 6300ESB watchdog. It attaches directly via PCI. I am not sure if in the case of 6300ESB Linux has two drivers for the same hardware or if the hardware actually has multiple watchdogs... -- You are receiving this mail because: You are the assignee for the bug.