genode/repos/os/include/init
Norman Feske 3f6ff39d76 os: improved label matching
This patch unifies the mechanism of selecting server-side policies and
taking session-routing decisions based on session labels. In both cases,
XML nodes are scored against session labels. The score depends on the
XML attributes 'label' (exact match), 'label_prefix', and
'label_suffix'.

Issue #1766
2015-11-29 18:17:05 +01:00
..
child.h os: improved label matching 2015-11-29 18:17:05 +01:00
child_config.h Revised API documentation 2015-04-09 16:04:46 +02:00
child_policy.h init: fix label buffer size 2015-06-22 14:43:38 +02:00