Alexander Boettcher 6133acb179 pci: use per pci session a separate device_pd ...

Fixes #1539

2015-05-27 11:37:18 +02:00

..

acpi

pci: add readme to pci_drv, adjust acpi_drv README

2015-05-26 09:39:52 +02:00

ahci

ahci: new AHCI driver implementation

2015-05-20 17:52:58 +02:00

audio_out/linux

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

framebuffer

os: use async IRQ and server lib in drivers

2015-04-23 16:47:59 +02:00

gpio

os: use async IRQ and server lib in drivers

2015-04-23 16:47:59 +02:00

input

ps2: use io port via device interface

2015-05-06 10:55:21 +02:00

nic

base: use reference for ascii_to output argument

2015-04-17 16:13:19 +02:00

pci

pci: use per pci session a separate device_pd

2015-05-27 11:37:18 +02:00

platform

rpi: fix response initialization in platform_drv

2015-05-26 09:39:51 +02:00

rtc/x86

os: structured timestamp in Rtc session

2015-02-16 13:40:34 +01:00

sd_card

os: use async IRQ and server lib in drivers

2015-04-23 16:47:59 +02:00

timer

os: use async IRQ and server lib in drivers

2015-04-23 16:47:59 +02:00

uart

uart_drv: enable RX channel for exynos5 driver

2015-02-27 11:48:05 +01:00