genode/repos/base-pistachio/src
Alexander Boettcher e84284c0cd base: remove shared irq from core
Cleanup commit after all relevant drivers got adapted to use the x86 platform
driver (pci_drv).

Issue #1471
2015-05-26 09:39:47 +02:00
..
base thread API & CPU session: accounting of CPU quota 2014-11-28 12:02:37 +01:00
core base: remove shared irq from core 2015-05-26 09:39:47 +02:00
kernel base-pistachio: migrate to new ports mechanism 2014-05-27 11:14:44 +02:00