This is just the minimal change to keep it building. Change-Id: I245c5b8413a1db114576c81462eb5737f5ffcef2
and other related fixups. Change-Id: Ia88fb37a07ff6777d00c49800081f5a519c0c78d
Change-Id: Iaa130c0a7eb2cbc0c8486546e5b622661b6d9e23
"/sbin/watchdogd <interval> <margin>" will open /dev/watchdog, try to set the timeout to <interval>+<margin> then write to it every <interval> seconds to reset the watchdog. Change-Id: I15571980cdb868ec19f20e80bf8274b32107d36d