Alexander Boettcher a604ea6851 os: reprogram timer solely if needed ...

If an alarm/timeout object became head of the timeout queue, then the
low level timer must be reprogrammed.

Issue #1106

2014-04-01 16:42:37 +02:00

..

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

New 'os/attached_dataspace.h' utility

2014-01-27 18:54:07 +01: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/reporter.h: Don't enable if connection fails

2014-02-28 10:11:51 +01: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