mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
c0af463b81
The new return value of 'resolve_session_request' allows the child policy to define the label used as the policy selector at the server. Because this patch introduces the distinction of the child-provided label from the label as presented to the server along with the session request, the latter is now handled as a dedicated 'Session_state' argument. Issue #2248 |
||
---|---|---|
.. | ||
ld |