mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 20:00:23 +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
This directory holds library-description files.