genode/repos/base-hw
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 tool: remove deprecated 'make prepare' mechanism 2016-03-17 17:02:04 +01: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 ldso: Support for RISC-V 2016-02-26 11:36:51 +01:00
ports Relax tool checks of Muen port 2016-02-26 11:36:55 +01:00
run remove Versatile Express board (Fix #1611) 2015-07-07 19:48:06 +02:00
src base: simplification of the IPC code 2016-04-11 11:51:42 +02:00