Go to file
Daniel Leung 013666c964 Redefine microkernel semaphore object identifier type
The opaque semaphore object id type is now a pointer to
the associated semaphore structure, rather than an index
into the microkernel's array of semaphore structures.

This change is a pre-requisite to support for private
semaphores, which are defined in source code.

Change-Id: I3821360be35237bfe3bf090efce84f99e335d309
Signed-off-by: Daniel Leung <daniel.leung@intel.com>
2016-02-05 20:15:18 -05:00
arch microkernel: remove kernel service dispatch table 2016-02-05 20:14:46 -05:00
doc microkernel: introduce support for private mutexes 2016-02-05 20:14:46 -05:00
drivers
include microkernel: introduce support for private mutexes 2016-02-05 20:14:46 -05:00
kernel Redefine microkernel semaphore object identifier type 2016-02-05 20:15:18 -05:00
lib
misc Remove Kconfig option PROT_MODE_SWITCH_PROMPT 2016-02-05 20:14:45 -05:00
net
samples samples/microkernel: recursive mutex testing using in-file mutex 2016-02-05 20:14:51 -05:00
scripts Redefine microkernel semaphore object identifier type 2016-02-05 20:15:18 -05:00
shared/include/nanokernel/x86
.gitattributes
.gitignore
.mailmap
Kconfig
Makefile build: rename platform target to drivers 2016-02-05 20:14:45 -05:00
Makefile.inc build: simplify clean target 2016-02-05 20:14:45 -05:00
zephyr-env.sh