genode/repos/os/include/platform
Alexander Boettcher 6dd9d349fc pci: support shared irqs (x86)
Step to move shared irq handling out of core in the long run. So, use
irq_proxy implementation from base in os and implement shared irq handling
in platform driver of x86 (pci_drv).

Fixes #1471
2015-05-06 10:55:18 +02:00
..
exynos5 odroid_xu: prevent tests with sd/platform/ahci/fb 2015-02-27 11:48:36 +01:00
imx53 Revised API documentation 2015-04-09 16:04:46 +02:00
panda Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
pbxa9 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
rpi os: add 'clock_rate' to Rpi platform driver 2015-04-09 16:04:46 +02:00
vea9x4 os: add missing include in vea9x4/pl011_defs.h 2014-11-28 12:02:38 +01:00
vpb926 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
device.h pci: provide irq capability via device interface 2015-05-06 10:55:17 +02:00
irq_proxy.h pci: support shared irqs (x86) 2015-05-06 10:55:18 +02:00