Gregory Nutt ea7dbc984b Add basic sporadic schedule state machine

2015-07-24 09:03:21 -06:00

..

Make.defs

…

wd_cancel.c

…

wd_create.c

…

wd_delete.c

…

wd_gettime.c

Add basic sporadic schedule state machine

2015-07-24 09:03:21 -06:00

wd_initialize.c

…

wd_recover.c

…

wd_start.c

Update the type passed to watchdog timer handlers. Using uint32_t is a problem for 64-bit machines.

2015-05-18 08:53:42 -06:00

wdog.h

…