very simple linux /dev/watchdog watchdog