mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 23:42:32 +00:00
9dca1503a8
This patch enables init to apply changes of any server's <provides> declarations in a differential way. Servers can in principle be extended by new services without re-starting them. Of course, changes of the <provides> declarations may affect clients or would-be clients as this information is taken into account for the session routing. |
||
---|---|---|
.. | ||
child_config.h | ||
child_policy.h | ||
child.h | ||
report.h | ||
verbose.h |