/* This library provides generic watchdog timer management functionality.
 * See the comments in <minix/timers.h> for details.
 */

#include <minix/timers.h>		/* definitions and function prototypes */
#include <sys/null.h>
