genode/repos/os/src/server
Norman Feske 5a1cef6381 Make label prefixing more strict
This patch unconditionally applies the labeling of sessions and thereby
removes the most common use case of 'Child_policy::filter_session_args'.
Furthermore, the patch removes an ambiguity of the session labels of
sessions created by the parent of behalf of its child, e.g., the PD
session created as part of 'Child' now has the label "<child-name>"
whereas an unlabeled PD-session request originating from the child
has the label "<child-name> -> ". This way, the routing-policy of
'Child_policy::resolve_session_request' can differentiate both cases.

As a consequence, the stricter labeling must now be considered wherever
a precise label was specified as a key for a session route or a server-
side policy selection. The simplest way to adapt those cases is to use a
'label_prefix' instead of the 'label' attribute. Alternatively, the
'label' attribute may used by appending " -> " (note the whitespace).

Fixes #2171
2016-11-30 13:37:07 +01:00
..
blk_cache
clipboard
dynamic_rom
fs_log Make label prefixing more strict 2016-11-30 13:37:07 +01:00
fs_rom
input_merger
iso9660
loader Make label prefixing more strict 2016-11-30 13:37:07 +01:00
log_report
log_terminal
lx_fs lx_fs: use component API 2016-11-30 13:37:03 +01:00
mixer Adapt low-level components to new parent interface 2016-11-25 16:06:42 +01:00
nic_bridge Make label prefixing more strict 2016-11-30 13:37:07 +01:00
nic_loopback
nic_router
nit_fb
nitpicker Make label prefixing more strict 2016-11-30 13:37:07 +01:00
part_blk Make label prefixing more strict 2016-11-30 13:37:07 +01:00
ram_blk
ram_fs
report_rom
rom_blk
rom_filter
rom_prefetcher
tar_rom
terminal_crosslink
terminal_log
trace_fs Make label prefixing more strict 2016-11-30 13:37:07 +01:00
tz_vmm
vfs
vmm