Allan Stephens 0c8965fd99 kernel: Specify alignment of microkernel server command stack items ... The microkernel server now relies on the fact that the command packets, events, and semaphores passed to it via its command stack are 32 bit aligned. This change explicitly ensures this alignment, rather than leaving it to the compiler's discretion. Change-Id: Ied7a0a0b4cc504c924520b72ef2b207b49470448 Signed-off-by: Allan Stephens <allan.stephens@windriver.com>		2016-02-05 20:24:42 -05:00
..
k_pipe_buffer.h	checkpatch: warning - long_line	2016-02-05 20:24:33 -05:00
k_pipe_util.h	Change BSD-3 licenses to Apache 2	2016-02-05 20:24:29 -05:00
kernel_main.h	Change BSD-3 licenses to Apache 2	2016-02-05 20:24:29 -05:00
micro_private_types.h	kernel: Specify alignment of microkernel server command stack items	2016-02-05 20:24:42 -05:00
micro_private.h	kernel: Revise microkernel server's recognition of command types	2016-02-05 20:24:41 -05:00