Emery Hemingway 877676c29f Make label-based policy selection more strict ... A configuration policy must match against a policy node label, label_prefix, or label_suffix atttribute. A fallback to <default-policy/> is provided as a label wildcard. Fixes #1901		2016-06-22 12:21:41 +02:00
..
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	Consider byte offset in Attached_io_mem_dataspace	2015-11-18 12:22:07 +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	Revised API documentation	2015-04-09 16:04:46 +02:00
config.h	Revised API documentation	2015-04-09 16:04:46 +02:00
handle_registry.h	os: Add Handle_registry::has_handle	2015-08-21 11:00:58 +02:00
irq_activation.h	Thread API cleanup	2016-05-23 15:49:55 +02:00
packet_allocator.h	base: const-correctness of Allocator interface	2015-04-17 16:13:22 +02:00
packet_stream.h	os: packets without playload in packet stream	2016-06-04 13:45:26 +02:00
path.h	lib/libc: remove internal use of getcwd at fstatat	2016-06-07 08:06:35 +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
reporter.h	Remove inconsistent use of 'is_' prefix	2016-05-23 15:52:39 +02:00
ring_buffer.h	os: Move Ring_buffer to Genode namespace	2015-04-17 16:13:21 +02:00
server.h	Move server API concept to base framework	2016-04-11 11:51:46 +02:00
session_policy.h	Make label-based policy selection more strict	2016-06-22 12:21:41 +02:00
signal_rpc_dispatcher.h	Signal_handler: remove num argument from handler	2016-05-09 13:10:52 +02:00
slave.h	Separation of thread operations from CPU session	2016-05-23 15:52:39 +02: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
timed_semaphore.h	Thread API cleanup	2016-05-23 15:49:55 +02:00