genode/repos/os/include/init
Norman Feske 652f92c9c9 init: 'unscoped_label' session-routing attribute
This patch enhances init with the ability to route individual
environment sessions. Prior this patch, environment sessions could be
routed only by an all-encompassing '<service>' node that would match
both child-initiated and environment sessions.

In contrast to the existing 'label', 'label_prefix', and 'label_suffix'
attributes of '<service>' nodes, which are always scoped with ther name
of the corresponding child, the 'unscoped_label' allows the definition
of routing rules for all session requests, including init's requests for
the child's environment sessions. For example, to route the ROM session
requests for a child's dynamic linker, the following route would match:

<route>
  <service name="ROM" unscoped_label="ld.lib.so"> ... </service>
</route>

Issue #2215
2017-02-27 15:37:49 +01:00
..
child_config.h Remove blocking calls from root and parent RPCs 2016-11-25 16:06:42 +01:00
child_policy.h init: API transition 2017-01-13 13:07:02 +01:00
child.h init: 'unscoped_label' session-routing attribute 2017-02-27 15:37:49 +01:00
verbose.h init: API transition 2017-01-13 13:07:02 +01:00