Okay, yes I agree that the watchdog/timer should be reset on reboot; it seems silly that it would remain enabled after the BIOS initializes.
A config option would be fine for clean reboots, but it persists even after a hardware reset once it's been set up, so I think the best option would be either for the BIOS to reset it, or maybe there is a facility when setting up the watchdog for whether it should remain initialized after reboots (but I doubt it).
@Alex
Okay, yes I agree that the watchdog/timer should be reset on reboot; it seems silly that it would remain enabled after the BIOS initializes.
A config option would be fine for clean reboots, but it persists even after a hardware reset once it's been set up, so I think the best option would be either for the BIOS to reset it, or maybe there is a facility when setting up the watchdog for whether it should remain initialized after reboots (but I doubt it).