Stefan Kalkowski 4753aee540 Fiasco.OC: hold irq-objects in core for resignment		2012-08-07 22:24:46 +02:00
..
base	Add support for allocating DMA memory	2012-06-20 09:17:48 +02:00
bootstrap	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
core	Fiasco.OC: hold irq-objects in core for resignment	2012-08-07 22:24:46 +02:00
kernel	Fiasco.OC: basic support for pandaboard	2012-05-29 13:55:00 +02:00
platform	Fiasco.OC: smart-pointer for kernel capabilities.	2012-05-09 20:50:57 +02:00
sigma0	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
test/cap_integrity	Move 'test/cap_integrity/foc' to 'base-foc'	2012-03-28 16:28:15 +02:00