ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 14:13:09 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
69925ee126
genode/repos/os/include
History
Norman Feske 652f92c9c9 init: 'unscoped_label' session-routing attribute 
This patch enhances init with the ability to route individual
environment sessions. Prior this patch, environment sessions could be
routed only by an all-encompassing '<service>' node that would match
both child-initiated and environment sessions.

In contrast to the existing 'label', 'label_prefix', and 'label_suffix'
attributes of '<service>' nodes, which are always scoped with ther name
of the corresponding child, the 'unscoped_label' allows the definition
of routing rules for all session requests, including init's requests for
the child's environment sessions. For example, to route the ROM session
requests for a child's dynamic linker, the following route would match:

<route>
  <service name="ROM" unscoped_label="ld.lib.so"> ... </service>
</route>

Issue #2215
2017-02-27 15:37:49 +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 app/cli_monitor: API transition 2017-01-13 13:07:00 +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: 'unscoped_label' session-routing attribute 2017-02-27 15:37:49 +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 os: remove Server from nic/component 2017-02-23 14:54:44 +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 launcher: API transition (deprecated warnings) 2017-02-27 15:37:49 +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 Warn about the use of deprecated env() function 2017-01-13 13:07:13 +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