Alexander Boettcher 41380ff769 base: remove Cancelable_lock ... - base/cancelable_lock.h becomes base/lock.h - all members become private within base/lock.h - solely Mutex and Blockade are friends to use base/lock.h Fixes #3819		2020-07-30 08:49:23 +02: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 interface	2020-07-13 11:33:13 +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	Avoid use of deprecated Xml_node methods	2020-05-18 10:16:14 +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	sntp_client: report received transmit timestamp	2019-08-21 12:37:02 +02:00
nic	os: explicit cache policy in Nic::Session_component	2019-05-06 16:15:26 +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	Change pixel format to 32 bits per pixel	2020-06-29 14:22:29 +02: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: introduce common platform driver for ARM	2020-05-27 11:56:46 +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	base: remove Cancelable_lock	2020-07-30 08:49:23 +02:00
usb_session	base/os: remove deprecated APIs	2019-02-26 14:44:15 +01:00
util	utf8: non-character U+fffe as invalid codepoint	2019-08-28 14:22:32 +02:00
vfs	Replace Genode::strncpy by Genode::copy_cstring	2020-05-27 11:56:45 +02:00