| .. |
|
audio_in_session
|
|
|
|
audio_out_session
|
|
|
|
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 |
|
genode_c_api
|
os: introduce C-API to Genode services
|
2021-07-28 11:27:04 +02:00 |
|
gpio
|
gpio: introduce Pin and '_with_gpio'
|
2020-10-09 13:35:56 +02:00 |
|
gpio_session
|
|
|
|
gpu_session
|
gpu/intel: report slice, subslice, eu via gpu info
|
2021-08-30 15:00:37 +02:00 |
|
gui_session
|
Change pixel format to 32 bits per pixel
|
2020-06-29 14:22:29 +02:00 |
|
i2c_session
|
i2c: extend API to support transactions
|
2021-05-28 14:16:45 +02:00 |
|
init
|
|
|
|
input
|
|
|
|
input_session
|
|
|
|
ldso
|
|
|
|
loader_session
|
Rename 'Nitpicker' namespace to 'Gui'
|
2020-06-22 09:39:40 +02:00 |
|
mixer
|
|
|
|
net
|
nic_router: propagate dns domain name via dhcp
|
2021-08-18 15:06:12 +02:00 |
|
nic
|
base/cache.h: rename Cache_attribute to Cache
|
2021-04-20 12:10:31 +02:00 |
|
nic_session
|
|
|
|
nitpicker_gfx
|
nitpicker_gfx: Text_painter::Font::index_at_xpos
|
2020-02-20 12:08:16 +01:00 |
|
os
|
separate sandbox api from os
|
2021-06-25 11:41:45 +02:00 |
|
packet_stream_rx
|
|
|
|
packet_stream_tx
|
|
|
|
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
|
|
|
|
ram_fs
|
|
|
|
report_rom
|
|
|
|
report_session
|
|
|
|
rtc_session
|
|
|
|
sandbox
|
separate sandbox api from os
|
2021-06-25 11:41:45 +02:00 |
|
smbios
|
|
|
|
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: consolidate Trace_buffer implementations
|
2021-08-30 15:00:37 +02:00 |
|
uart_session
|
|
|
|
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: add support to flush EP transfers
|
2021-06-25 11:41:44 +02:00 |
|
util
|
|
|
|
vfs
|
vfs_oss: support more commands for VirtualBox 6 and sndio
|
2021-08-30 15:00:36 +02:00 |
|
virtio
|
platform driver: make device info XML optional
|
2021-05-05 11:31:16 +02:00 |
