Daniel Leung 851c6f8f60 microkernel: introduce private event objects ... This patch enables defining microkernel events within source code. This is similar to other private kernel object patches. The test has been modified a little bit due to the fact that the event ID is now a memory address, instead of numeric ID. Change-Id: Ie3c8d4f4e459d9c631e50bb242cf7a05ca8ea82c Signed-off-by: Daniel Leung <daniel.leung@intel.com> Signed-off-by: Anas Nashif <anas.nashif@intel.com>		2016-02-05 20:24:35 -05:00
..
k_pipe_buffer.h
k_pipe_util.h
kernel_main.h
micro_private_types.h	microkernel: introduce private event objects	2016-02-05 20:24:35 -05:00
micro_private.h	microkernel: introduce private event objects	2016-02-05 20:24:35 -05:00