Gregory Nutt 1d88dc1fb6 Fix some compilation error when both TICKLESS mode and the SPORADIC scheduler are enabled

2015-07-24 14:35:07 -06:00

..

clock

Use up_timer_gettime for CLOCK_MONOTONIC in tickless mode. From Max Neklyudov.

2015-06-22 06:37:26 -06:00

environ

…

errno

…

group

…

init

Move board_ prototypes from arch.h to board.h

2015-02-27 20:02:03 -06:00

irq

Make some file section headers more consistent with standard

2015-04-08 06:47:36 -06:00

mqueue

POSIX message queues: Move mq_setattr() and mq_getattr() from nuttx/libc/mqueue to nuttx/sched/mqueue. Also add sysyscall support for mq_setattr() and mq_getattr(). This is necessary in protected and kernel builds because in those cases the message queue structure is protect and cannot be accessed directly from user mode code. Noted by Jouko Holopainen.

2015-06-03 09:24:17 -06:00

paging

Make some file section headers more consistent with standard

2015-04-08 06:47:36 -06:00

pthread

Add basic sporadic schedule state machine

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

sched

Fix some compilation error when both TICKLESS mode and the SPORADIC scheduler are enabled

2015-07-24 14:35:07 -06:00

semaphore

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

signal

Fix numerous typos in configuration variable names. Tracked down by Alan Carvalho de Assis

2015-05-23 17:08:35 -06:00

task

Fix some bad conditional compilation

2015-07-24 12:27:15 -06:00

timer

Add basic sporadic schedule state machine

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

wdog

Add basic sporadic schedule state machine

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

wqueue

Fix backward calculation in the work queue timing. From Liio Chen via the PX4 repository

2015-01-27 06:17:02 -06:00

.gitignore

…

Kconfig

sched/Kconfig: The sporadic scheduler option is no longer EXPERIMENTAL

2015-07-24 14:19:18 -06:00

Makefile

…