mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-03 04:26:45 +00:00
9d683a56a0
This method is a hook to enable a runtime to respond to state changes. In particular, in init this hook is used to trigger the generation of a new state report, if configured. Furthermore, the patch introduces the 'generate_client_side_info' and 'generate_server_side_info' methods to the 'Session_state', which generates an XML representation of the session states to appear in reports produced by init. Issue #2246 |
||
---|---|---|
.. | ||
mk | ||
symbols | ||
README |
This directory holds library-description files.