Stefan Kalkowski 6a076ff621 block: use new server framework in block drivers ... As a side effect, the entrypoints in the USB driver are merged into one thread. Fixes #1027		2014-01-27 18:53:52 +01:00
..
alarm	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
blit	os: Add const qualifiers to blit library	2013-09-18 14:58:55 +02:00
config	os: Move Genode::Config into 'config' library	2013-09-23 14:25:58 +02:00
config_args	os: Move Genode::Config into 'config' library	2013-09-23 14:25:58 +02:00
dde_kit	dde_kit: Allow re-scheduling from timer handler	2013-09-23 14:26:00 +02:00
ldso	ldso: Support for setting global object values	2013-12-20 14:48:06 +01:00
net	Let the nic_bridge work event driven (fix #749)	2013-06-12 11:35:13 +02:00
server	block: use new server framework in block drivers	2014-01-27 18:53:52 +01:00
timed_semaphore	Reduce IPC with timer service in timed semaphore	2013-08-30 13:38:21 +02:00
trace/policy	Build trace policies with -std=gnu++11 enabled	2013-10-16 09:26:11 +02:00
xev_track	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00