ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 15:32:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
a0fb944721
genode/repos/os/include
History
Norman Feske a0fb944721 Propagate session diag flag to core 
This commit restores the diag feature for selecting diagnostic output of
services provided by core. This feature became unavailable with commit
"base: remove dependency from deprecated APIs", which hard-wired the
diag flag for core services to false.

To control this feature, three possible policies can be expressed in a
routing target of init's configuration:

* Forcing silence by specifying 'diag="no"'
* Enabling diagnostics by specifying 'diag="yes"'
* Forwarding the preference of the client by omitting the 'diag'
  attribute

Fixes #3962
2020-12-09 14:02:11 +01:00
..
audio_in_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
audio_out_session os: clear remaining samples in Audio packet 2019-04-09 12:30:34 +02:00
blit os: add blit/painter.h 2020-07-13 11:33:13 +02:00
block os: omit size check on payloadless Block packets 2020-02-27 14:46:57 +01:00
block_session doc: tweaks for updated Genode Foundations book 2020-05-27 11:56:46 +02:00
capture_session Capture session interface 2020-07-13 11:33:13 +02:00
decorator Rename 'Nitpicker' namespace to 'Gui' 2020-06-22 09:39:40 +02:00
event_session event_session: make Session_client::Batch abstract 2020-08-25 11:49:43 +02:00
file_system base: remove Cancelable_lock 2020-07-30 08:49:23 +02:00
file_system_session Replace Genode::strncpy by Genode::copy_cstring 2020-05-27 11:56:45 +02:00
framebuffer_session Change pixel format to 32 bits per pixel 2020-06-29 14:22:29 +02:00
gpio gpio: introduce Pin and '_with_gpio' 2020-10-09 13:35:56 +02:00
gpio_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
gpu_session Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
gui_session Change pixel format to 32 bits per pixel 2020-06-29 14:22:29 +02:00
init Adaptation to init refactoring 2017-03-24 16:19:56 +01:00
input input: repeat events require valid codepoints 2019-11-19 14:23:54 +01:00
input_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
ldso Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
loader_session Rename 'Nitpicker' namespace to 'Gui' 2020-06-22 09:39:40 +02:00
mixer os: avoid using deprecated APIs 2019-01-30 13:49:54 +01:00
net net/dhcp.h: more specific include guards 2020-12-09 14:02:10 +01:00
nic net: move ascii_to() into Net namespace 2020-09-17 10:13:22 +02:00
nic_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
nitpicker_gfx nitpicker_gfx: Text_painter::Font::index_at_xpos 2020-02-20 12:08:16 +01:00
os Propagate session diag flag to core 2020-12-09 14:02:11 +01:00
packet_stream_rx packet_stream_*: fix missing dissolve on exception 2019-11-19 14:42:22 +01:00
packet_stream_tx packet_stream_*: fix missing dissolve on exception 2019-11-19 14:42:22 +01:00
platform_device os: introduce common platform driver for ARM 2020-05-27 11:56:46 +02:00
platform_session os: introduce common platform driver for ARM 2020-05-27 11:56:46 +02:00
pointer os: avoid garbage warnings in app/painter 2019-01-07 12:25:45 +01:00
ram_fs ram_fs: increase max file size on 64 bit to 8 GiB 2019-03-18 15:57:00 +01:00
report_rom os: avoid using deprecated APIs 2019-01-30 13:49:54 +01:00
report_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
rtc_session rtc: extended session with set-signal 2019-08-21 12:37:01 +02:00
smbios smbios.h: move to os/include/smbios 2019-11-19 14:54:12 +01:00
spec os: add platform driver for i.MX 8M Quad SoC 2020-08-25 11:50:12 +02:00
terminal terminal: clipboard support 2019-07-09 08:58:38 +02:00
terminal_session os: use Mutex/Blockade 2020-04-17 12:40:12 +02:00
trace trace: extend policy with log_output 2020-04-17 12:47:19 +02:00
uart_session base/os: remove deprecated APIs 2019-02-26 14:44:15 +01:00
usb dde_linux: usb support extra data and zero config 2020-12-09 14:02:11 +01:00
usb_session dde_linux: usb support extra data and zero config 2020-12-09 14:02:11 +01:00
util utf8: non-character U+fffe as invalid codepoint 2019-08-28 14:22:32 +02:00
vfs vfs directory service: name enum Open_mode 2020-11-23 12:02:59 +01:00
virtio os: add VirtIO device helper classes. 2020-10-09 13:35:57 +02:00