| .. |
|
alarm.h
|
os: reprogram timer solely if needed
|
2014-04-01 16:42:37 +02:00 |
|
attached_dataspace.h
|
New 'os/attached_dataspace.h' utility
|
2014-01-27 18:54:07 +01:00 |
|
attached_io_mem_dataspace.h
|
Update copyright headers to 2013
|
2013-01-10 21:44:47 +01:00 |
|
attached_mmio.h
|
attached_mmio: Support sub-page MMIO resources
|
2013-09-23 14:26:01 +02:00 |
|
attached_ram_dataspace.h
|
make Attached_ram_dataspace::local_addr const
|
2013-09-18 14:58:55 +02:00 |
|
attached_rom_dataspace.h
|
os: Refine Attached_rom_dataspace::update
|
2014-05-07 10:37:36 +02:00 |
|
child_policy_dynamic_rom.h
|
Attach affinity information to session requests
|
2013-08-13 17:08:25 +02:00 |
|
config.h
|
os: Move Genode::Config into 'config' library
|
2013-09-23 14:25:58 +02:00 |
|
irq_activation.h
|
Update copyright headers to 2013
|
2013-01-10 21:44:47 +01:00 |
|
packet_allocator.h
|
blk_cache: fix deadlock in allocator hierarchy
|
2014-02-25 14:58:06 +01:00 |
|
packet_stream.h
|
packet stream: clean range allocator in destructor
|
2013-12-19 11:34:05 +01:00 |
|
path.h
|
Add const version of 'Path::base' accessor
|
2013-01-12 21:32:07 +01:00 |
|
pixel_rgb565.h
|
Generalization of nitpicker's graphics backend
|
2014-01-27 18:54:06 +01:00 |
|
pixel_rgba.h
|
Generalization of nitpicker's graphics backend
|
2014-01-27 18:54:06 +01:00 |
|
reporter.h
|
os: Make buffer size of 'Reporter' configurable
|
2014-05-07 10:37:36 +02:00 |
|
ring_buffer.h
|
Ring_buffer: make synchronization optional
|
2013-10-22 08:00:16 +02:00 |
|
server.h
|
os: Skeleton for server implementations
|
2013-09-23 14:25:58 +02:00 |
|
session_policy.h
|
Fix some typos
|
2013-11-26 14:32:06 +01:00 |
|
signal_rpc_dispatcher.h
|
block: use new server framework in block drivers
|
2014-01-27 18:53:52 +01:00 |
|
slave.h
|
os: Add resource balancing-support to 'Slave'
|
2013-10-15 16:13:45 +02:00 |
|
static_root.h
|
Attach affinity information to session requests
|
2013-08-13 17:08:25 +02:00 |
|
surface.h
|
Generalization of nitpicker's graphics backend
|
2014-01-27 18:54:06 +01:00 |
|
synced_interface.h
|
Utility for synchronizing interface calls
|
2013-05-17 12:04:45 +02:00 |
|
texture.h
|
Generalization of nitpicker's graphics backend
|
2014-01-27 18:54:06 +01:00 |
|
timed_semaphore.h
|
Reduce IPC with timer service in timed semaphore
|
2013-08-30 13:38:21 +02:00 |
