genode/os/src
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
..
app/xvfb New Input::Event::FOCUS, rename keycode to code 2013-01-15 10:18:11 +01:00
drivers Reduce debug messages of UART driver 2013-01-11 21:07:22 +01:00
init Init: handle reconfiguration 2013-01-15 10:18:12 +01:00
lib Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
platform Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
server New Input::Event::FOCUS, rename keycode to code 2013-01-15 10:18:11 +01:00
test New Input::Event::FOCUS, rename keycode to code 2013-01-15 10:18:11 +01:00