Dimitry Kloper
|
b48ca00cd5
|
The delay parameter has 'int' type while explicit int32_t is used in sigtimedwait() (sig_timedwait.c) This can lead to wrong argument for systems that have default int size different than int32 (namely AVR).
|
2016-01-05 07:58:04 -06:00 |
|
Gregory Nutt
|
ea7dbc984b
|
Add basic sporadic schedule state machine
|
2015-07-24 09:03:21 -06:00 |
|
Gregory Nutt
|
eb7e66c945
|
Update Documentation
|
2015-05-18 13:41:35 -06:00 |
|
Gregory Nutt
|
3adcae8ffb
|
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 |
|
Gregory Nutt
|
63ac1ec423
|
Cosmetic updates to comments
|
2015-02-12 13:44:22 -06:00 |
|
Gregory Nutt
|
fd484c4de9
|
Add support for statically allocated watchdog timer structures
|
2014-08-22 08:46:34 -06:00 |
|
Gregory Nutt
|
ad9b3f8ab8
|
wdog.h does not contain any application interface, only internal OS interface. Further, it is non-standard. Move wdog.h from include/ to include/nuttx. For the same reason, move the description of the watchdog timer interfaces from the Users Guide to the Porting Guide.
|
2014-08-21 11:16:55 -06:00 |