Stefan Kalkowski 516601b7ba os: add Platform::Device::sigh_omit_initial_signal ... Add possibility to register an interrupt handler without triggering an initial spurious interrupt for ported device driver code. Fixes #4154		2021-05-28 14:15:27 +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	platform_session: cache arg for alloc_dma_buffer	2021-04-20 12:10:57 +02: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
i2c_session	add I2c driver for imx8q based platform	2021-03-29 13:45:24 +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: circumvent stringop-overflow error	2021-05-05 11:35:31 +02:00
nic	base/cache.h: rename Cache_attribute to Cache	2021-04-20 12:10:31 +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	vfs: fix read of large files in fs_file_systems	2021-05-28 14:15:27 +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	base/cache.h: rename Cache_attribute to Cache	2021-04-20 12:10:31 +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::Device::sigh_omit_initial_signal	2021-05-28 14:15:27 +02:00
terminal	terminal: don't overwrite last column until eol	2021-05-05 11:35:27 +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
uplink_session	os: introduce new "Uplink" session	2021-01-25 13:48:09 +01:00
usb	dde_linux: usb support extra data and zero config	2020-12-09 14:02:11 +01:00
usb_session	usb_host: properly handle ISOC read requests	2021-02-23 12:02:44 +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	platform driver: make device info XML optional	2021-05-05 11:31:16 +02:00