genode/repos/os/recipes
Norman Feske c0a7565c21 os: shim helper for safe routing of env sessions
This shim component can be used in case where env sessions of child
(i.e., child's PD session) must be routed to another child of init.

Without the shim, init would directly need to interact with these
sessions and would thereby make itself dependent of the server's
behavior. RPC calls to a server hosted as a child lead to all kinds of
problems such as livelock situations, and putting the robustness of init
at the whim of its child.

With the shim, init merely needs to bootstrap the shim component by
routing the shim's env sessions to core as usual. The server is only
used for the sessions for the actual application hosted atop the shim.

Issue #3837
Issue #4029
2021-03-12 12:01:37 +01:00
..
api depot: update recipe hashes 2021-02-23 12:07:18 +01:00
pkg cpu_balancer: add support to provide PD service 2021-03-12 12:01:37 +01:00
raw depot: update recipe hashes 2021-02-23 12:07:18 +01:00
src os: shim helper for safe routing of env sessions 2021-03-12 12:01:37 +01:00