Norman Feske cda07b7da0 base: simplification of the IPC code ... This commit replaces the stateful 'Ipc_client' type with the plain function 'ipc_call' that takes all the needed state as arguments. The stateful 'Ipc_server' class is retained but it moved from the public API to the internal ipc_server.h header. The kernel-specific implementations were cleaned up and simplified. E.g., the 'wait' function does no longer exist. The badge and exception code are no longer carried in the message buffers but are handled in kernel-specific ways. Issue #610 Issue #1832		2016-04-11 11:51:42 +02:00
..
doc	sel4: 3rd article - porting core to seL4	2015-05-26 09:40:02 +02:00
include	base: simplification of the IPC code	2016-04-11 11:51:42 +02:00
lib	base: hide internals of the Thread API	2016-03-07 12:34:46 +01:00
mk/spec	Introduce 'spec' subdirectories to outline aspects	2015-09-16 13:58:50 +02:00
ports	sel4: update to version 2.1	2016-02-26 11:36:55 +01:00
src	base: simplification of the IPC code	2016-04-11 11:51:42 +02:00