mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 02:01:38 +00:00
6eaeb61d58
This patch makes the server-side policy-matching logic available outside the 'Session_policy' class. Given that the new 'with_matching_policy' function does not throw any exception, it gives server implementations the freedom to avoid the C++ exception mechanism for the policy handling.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.