Dmitriy Korovkin 1bd6c831ee Fix kernel server argument alignment ... The stucture elements neet to me 32-bit aligned for ARM platform. Change-Id: I269753cbfec5e45880833e1fc036921a0f274d23 Signed-off-by: Dmitriy Korovkin <dmitriy.korovkin@windriver.com>		2016-02-05 20:15:25 -05:00
..
k_pipe_buffer.h	microkernel: redefine pipe object identifier type	2016-02-05 20:15:18 -05:00
k_pipe_util.h	microkernel: redefine pipe object identifier type	2016-02-05 20:15:18 -05:00
kernel_main.h	microkernel: remove kernel service dispatch table	2016-02-05 20:14:46 -05:00
micro_private_types.h	Fix kernel server argument alignment	2016-02-05 20:15:25 -05:00
micro_private.h	microkernel: put memory map pointers into its own binary section	2016-02-05 20:15:18 -05:00