tree 7d909db18692cad0ae9ee550d0807a019b9a3e3c
parent b59676547f6336f586ee736f4203ad9c477c76ea
author Arve Hjønnevåg <arve@android.com> 1339649516 -0700
committer Arve Hjønnevåg <arve@android.com> 1339713803 -0700

Add watchdogd

"/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