Ben Hutchings dixit: >Which watchdog device is this, that is enabled by the BIOS? Normally I >expect them to be enabled only by the kernel driver.
It’s a 19″ server from Supermicro; Dominik would’ve to provide details. >install time since the watchdog devices are not enabled by the system >firmware. Oh well… apparently, the firmware setup screens don’t signal the watchdog either, so you can’t use that one for five minutes while the watchdog is enabled. This all points to buggy firmware. Again, details would have to come from Nik. bye, //mirabilos -- Thorsten Glaser Teckids e.V. – Erkunden, Entdecken, Erfinden. https://www.teckids.org/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org