genode/os/include/init
Norman Feske 277af91376 Omit child-name prefix in <if-args> check
When matching the 'label' session argument using '<if-args>' in a
routing table, we can omit the child name prefix because it is always
the same for all sessions originating from the child anyway. Therefore,
this patch adds a special case for matching session labels. It makes the
expression of label-specific routing more intuitive.
2013-01-10 21:09:07 +01:00
..
child_config.h Support for dynamic ROM sessions, fix #170 2012-04-05 11:25:26 +02:00
child_policy.h Generalize handling of PD-session arguments 2012-11-21 20:04:07 +01:00
child.h Omit child-name prefix in <if-args> check 2013-01-10 21:09:07 +01:00