TIL: Intel chipsets have a hardware watchdog. Just like a Raspberry Pi.

Speaking of the Raspberry Pi watchdog (bcmwd): it supports 15 seconds max interval. But if you try to run FreeBSD’s watchdogd with 15 seconds, it’ll still complain. Look in the output — for some reason watchdogd rounds it up to 17 or something. So the max interval is 9.