genode/repos/base-okl4/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 okl4: fix return value if IPC failed 2015-05-06 10:55:16 +02:00
core base: remove shared irq from core 2015-05-26 09:39:47 +02:00
kernel base-okl4: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00
test Remove output-section fill from linker scripts 2015-01-20 11:25:59 +01:00