genode/os/include/init
Norman Feske fcca4f3466 Init: handle reconfiguration
With this change, init becomes able to respond to config changes by
restarting the scenario with the new config. To make this feature useful
in practice, init must not fail under any circumstances. Even on
conditions that were considered as fatal previously and led to the abort
of init (such as ambiguous names of the children or misconfiguration in
general), init must stay alive and responsive to config changes.
2013-01-15 10:18:12 +01:00
..
child_config.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
child_policy.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
child.h Init: handle reconfiguration 2013-01-15 10:18:12 +01:00