genode/repos/demo
Norman Feske 0d295f75a1 base: apply routing policy to environment sessions
This patch changes the child-construction procedure to allow the routing
of environment sessions to arbitrary servers, not only to the parent.
In particular, it restores the ability to route the LOG session of the
child to a LOG service provided by a child of init. In principle, it
becomes possible to also route the immediate child's PD, CPU, and RAM
environment sessions in arbitrary ways, which simplifies scenarios that
intercept those sessions, e.g., the CPU sampler.

Note that the latter ability should be used with great caution because
init needs to interact with these sessions to create/destruct the child.
Normally, the sessions are provided by the parent. So init is safe at
all times. If they are routed to a child however, init will naturally
become dependent on this particular child. For the LOG session, this is
actually not a problem because even though the parent creates the LOG
session as part of the child's environment, it never interacts with the
session directly.

Fixes #2197
2016-12-23 16:52:08 +01:00
..
doc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
include base: apply routing policy to environment sessions 2016-12-23 16:52:08 +01:00
lib Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
src base: apply routing policy to environment sessions 2016-12-23 16:52:08 +01:00