mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 18:18:54 +00:00
051e84c4b4
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 |
||
---|---|---|
.. | ||
doc | ||
include | ||
lib | ||
mk/spec | ||
ports | ||
run | ||
src |