genode/repos/base-sel4
Norman Feske 051e84c4b4 Move server API concept to base framework
This commit introduces the new `Component` interface in the form of the
headers base/component.h and base/entrypoint.h. The os/server.h API
has become merely a compatibilty wrapper and will eventually be removed.
The same holds true for os/signal_rpc_dispatcher.h. The mechanism has
moved to base/signal.h and is now called 'Signal_handler'.

Since the patch shuffles headers around, please do a 'make clean' in the
build directory.

Issue #1832
2016-04-11 11:51:46 +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 Move server API concept to base framework 2016-04-11 11:51:46 +02: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 Move server API concept to base framework 2016-04-11 11:51:46 +02:00