genode/repos/os/include/platform
Alexy Gallardo Segura c14fe7e6c7 foc: Odroid-X2 basic support
Fix #1597
2015-07-21 09:28:25 +02:00
..
exynos4/regulator foc: Odroid-X2 basic support 2015-07-21 09:28:25 +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
vpb926 Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
x86 pci: convert to platform_drv 2015-06-22 14:43:34 +02:00
device.h pci: convert to platform_drv 2015-06-22 14:43:34 +02:00
irq_proxy.h x86: use report_rom for acpi and pci driver 2015-06-09 11:00:12 +02:00