genode/repos/os/include
Norman Feske 8cb0dc9c16 init: session-label rewriting
This patch enhances init with the support for rewriting session labels
in the target node of a matching session route. For example, a Noux
instance may have the following session route for the "home" file
system:

<route>
  <service name="File_system" label="home">
    <child name="rump_fs"/>
  </service>
  ...
</route>

At the rump_fs file-system server, the label of the file-system session
will appear as "noux -> home". This information may be evaluated by
rump_fs's server-side policy. However, when renaming the noux instance,
we'd need to update this server-side policy.

With the new mechanism, the client's identity can be hidden from the
server. The label could instead represent the role of the client, or a
name of a physical resource. For example, the Noux route could be
changed to this:

<route>
  <service name="File_system" label="home">
    <child name="rump_fs" label="primary_user"/>
  </service>
  ...
</route>

When the rump_fs receives the session request, it is presented with the
label "primary_user". The fact that the client is "noux" is not taken
into account for the server-side policy selection.

Issue #2248
2017-02-28 12:59:20 +01:00
..
audio_in_session use Attached_dataspace at audio streams 2017-01-13 13:07:10 +01:00
audio_out_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
blit Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
block os/include/block: API transition (fix 'deprecated' warnings) 2017-01-20 16:46:57 +01:00
block_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
cli_monitor os/child_policy_dynamic_rom.h: API transition 2017-02-28 12:59:19 +01:00
decorator base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
file_system base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
file_system_session Add READ_READY support to file-system session 2017-02-23 14:54:51 +01:00
framebuffer_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
gpio Define Genode::size_t as unsigned long 2016-10-21 12:39:29 +02:00
gpio_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
gpu Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
init init: session-label rewriting 2017-02-28 12:59:20 +01:00
input os: introduce Input::Event::CHARACTER type 2017-02-23 15:03:29 +01:00
input_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
ldso Revised API documentation 2015-04-09 16:04:46 +02:00
loader_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
mixer audio_mixer: use bool for mute XML report parsing 2016-10-21 12:39:36 +02:00
net IPv4: fix buggy ascii_to implementations 2017-01-13 13:05:47 +01:00
nic nic: remove usage of deprecated env() 2017-02-28 12:59:18 +01:00
nic_bridge nic_router: new user interface and optimizations 2016-11-30 13:38:05 +01:00
nic_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
nitpicker_gfx Remove inconsistent use of 'is_' prefix 2016-05-23 15:52:39 +02:00
nitpicker_session Warn about the use of deprecated headers 2017-01-31 12:01:18 +01:00
os os/child_policy_dynamic_rom.h: API transition 2017-02-28 12:59:19 +01:00
packet_stream_rx os/packet_stream: avoid global env 2017-01-13 13:07:02 +01:00
packet_stream_tx os/packet_stream: avoid global env 2017-01-13 13:07:02 +01:00
platform_device x86: extend io_mem call of platform_drv 2015-11-04 14:09:25 +01:00
platform_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
ram_fs base: avoid use of deprecated base/printf.h 2016-08-29 17:27:10 +02:00
regulator os: platform_drv (arm) API transition (ref #1987) 2017-01-13 13:07:03 +01:00
regulator_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
report_rom report_rom/clipboard: API transition 2017-01-13 13:07:14 +01:00
report_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
rtc_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
spec Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
terminal gems/terminal: support 'CHARACTER' events 2017-02-27 15:37:49 +01:00
terminal_session Warn about the use of deprecated headers 2017-01-31 12:01:18 +01:00
timer_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
trace Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
uart_session Warn about the use of deprecated env() function 2017-01-13 13:07:13 +01:00
usb usb_drv: raw session fixes 2016-10-21 12:39:37 +02:00
usb_session usb_session: pass Region_map explicitly 2017-02-28 12:59:17 +01:00
util gems: extend dither_painter to be used with vbox5 2016-08-29 17:29:32 +02:00
vfs Queued read/write/read_ready in VFS and servers 2017-02-23 15:03:28 +01:00
xev_track Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00