..
alarm.h
alarm: reposition reprogrammed alarms in queue
2015-08-21 11:00:57 +02:00
attached_dataspace.h
Move Attach_*dataspace utils from os to base
2016-05-23 15:52:36 +02:00
attached_io_mem_dataspace.h
Move Attach_*dataspace utils from os to base
2016-05-23 15:52:36 +02:00
attached_mmio.h
os: pass Env on in Attached_mmio constructor
2017-01-13 13:06:55 +01:00
attached_ram_dataspace.h
Move Attach_*dataspace utils from os to base
2016-05-23 15:52:36 +02:00
attached_rom_dataspace.h
Move Attach_*dataspace utils from os to base
2016-05-23 15:52:36 +02:00
child_policy_dynamic_rom.h
Remove blocking calls from root and parent RPCs
2016-11-25 16:06:42 +01:00
config.h
base: rename 'Volatile_object' to 'Reconstructible'
2016-12-01 17:46:50 +01:00
dither_painter.h
gems: extend dither_painter to be used with vbox5
2016-08-29 17:29:32 +02:00
dynamic_rom_session.h
base: rename 'Volatile_object' to 'Reconstructible'
2016-12-01 17:46:50 +01:00
handle_registry.h
os: Add Handle_registry::has_handle
2015-08-21 11:00:58 +02:00
packet_allocator.h
base: const-correctness of Allocator interface
2015-04-17 16:13:22 +02:00
packet_stream.h
os/packet_stream: avoid global env
2017-01-13 13:07:02 +01:00
path.h
server/fs_log: improve client isolation
2016-08-29 17:29:34 +02:00
pixel_alpha8.h
os: define ALPHA8 pixel format
2014-10-13 15:21:53 +02:00
pixel_rgb565.h
Move repositories to 'repos/' subdirectory
2014-05-14 16:08:00 +02:00
pixel_rgb888.h
os: define storage type of rgb888 as 32-bit value
2015-11-27 12:18:52 +01:00
pixel_rgba.h
os: improve alpha-channel support for Pixel_rgba
2014-10-13 15:21:53 +02:00
ram_session_guard.h
os: extend ram_session_guard for platform_driver
2016-11-30 13:37:06 +01:00
reporter.h
Warn about the use of deprecated env() function
2017-01-13 13:07:13 +01:00
ring_buffer.h
os: Move Ring_buffer to Genode namespace
2015-04-17 16:13:21 +02:00
server.h
Define Genode::size_t as unsigned long
2016-10-21 12:39:29 +02:00
session_policy.h
Move Session_label from os to base
2016-07-11 13:09:24 +02:00
session_requester.h
Remove blocking calls from root and parent RPCs
2016-11-25 16:06:42 +01:00
signal_rpc_dispatcher.h
Signal_handler: remove num argument from handler
2016-05-09 13:10:52 +02:00
single_session_service.h
Adapt high-level components to new parent API
2016-11-30 13:37:03 +01:00
slave.h
Make label prefixing more strict
2016-11-30 13:37:07 +01:00
static_root.h
Revised API documentation
2015-04-09 16:04:46 +02:00
surface.h
Revised API documentation
2015-04-09 16:04:46 +02:00
texture_rgb565.h
os: add texture_rgb888.h and texture_rgb565.h
2014-10-13 15:21:53 +02:00
texture_rgb888.h
os: add texture_rgb888.h and texture_rgb565.h
2014-10-13 15:21:53 +02:00
texture.h
os: add texture_rgb888.h and texture_rgb565.h
2014-10-13 15:21:53 +02:00
time_source.h
os: introduce and test timeout framework
2016-11-30 13:38:04 +01:00
timed_semaphore.h
Increase stack size of alarm schedulers
2016-08-10 11:07:47 +02:00
timeout.h
Hide implementation details in timeout framework
2017-01-13 13:05:45 +01:00
timer.h
timeout: change timer resolution from 100 to 5 ms
2017-01-13 13:07:12 +01:00