genode/repos/os/include/init
Norman Feske 8d4fb288d9 init: add version attribute to start nodes
The optional 'version' attribute allows for the forced restart of a
child with an otherwise unmodified start node. The specified value is
also reflected in the state report.
2017-03-24 16:19:56 +01:00
..
child_config.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
child_policy.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
child.h init: add version attribute to start nodes 2017-03-24 16:19:56 +01:00
report.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
verbose.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00