Josef Söntgen 09e96dfdcd dde_kit: use async IRQ session interface ... Up to now, dde_kit used the synchronous IRQ session interface. This interface is going to get deprectated very soon. Issue #1456.		2015-04-23 16:47:58 +02:00
..
app	base: use reference for ascii_to output argument	2015-04-17 16:13:19 +02:00
drivers	os: remove ATAPI driver	2015-04-23 16:47:57 +02:00
init	Init: support for aliases for child names	2015-01-20 11:25:59 +01:00
lib	dde_kit: use async IRQ session interface	2015-04-23 16:47:58 +02:00
server	os: Move Ring_buffer to Genode namespace	2015-04-17 16:13:21 +02:00
test	base: const-correctness of Allocator interface	2015-04-17 16:13:22 +02:00