mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
0f052357ef
This patch extends the configuration concept of init with an additional sub node for the <start> node: <start name="noux"> <exit propagate="yes"/> ... </start> If the 'propagate' attribute is set to "yes", the exit of the respective child will appear to init's parent as the exit of the entire init subsystem. Fixes #1686 |
||
---|---|---|
.. | ||
init.txt |