Hi Wim, > Hope this is clearer now. > Yes. All is clear now. Thanks. I was confusing WDT_HEARTBEAT and WDT_TIMEOUT. I fully agree with the way the timer is implemented. > I think we should change the default timeout value to 60 seconds instead of 15. > Agree on that too. Thanks for your patience. Kind regards, -- Marc -- To unsubscribe from this list: send the line "unsubscribe linux-watchdog" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
