genode/repos/os/include/init
Norman Feske 150c286f0e init: dynamic configuration
This patch lets init apply configuration changes to a running scenario
in a differential way. Children are restarted if any of their session
routes change, new children can be added to a running scenario, or
children can deliberately be removed.

Furthermore, the new version of init is able to propagate configuration
changes (modifications of <config> nodes) to its children without
restarting them.
2017-02-28 12:59:26 +01:00
..
child_config.h init: dynamic configuration 2017-02-28 12:59:26 +01:00
child_policy.h init: session-label rewriting 2017-02-28 12:59:20 +01:00
child.h init: dynamic configuration 2017-02-28 12:59:26 +01:00
report.h init: enable init to report its internal state 2017-02-28 12:59:22 +01:00
verbose.h init: API transition 2017-01-13 13:07:02 +01:00