3 Commits

Author	SHA1	Message	Date
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
Norman Feske	6ffba0e473	sel4: IPC implementation	2015-05-26 09:39:59 +02:00
Norman Feske	2b24593758	sel4: minimalistic roottask	2015-05-26 09:39:54 +02:00