Sebastian Sumpf 38e953d913 Fiasco.OC: Set interrupt mode in IRQ session ... Set IRQ 0-15 to edget/high and 16-23 level low (x86 only). Fixes #153		2012-03-16 18:24:00 +01:00
..
base	Rename tid() to dst() in Native_capability.	2012-03-10 15:52:19 +01:00
bootstrap	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
core	Fiasco.OC: Set interrupt mode in IRQ session	2012-03-16 18:24:00 +01:00
kernel	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00
platform	Merge Native_capability implementations (fix #145).	2012-03-08 18:42:39 +01:00
sigma0	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00