genode/repos/os/src/drivers
Sebastian Sumpf ab79b0d5e0 ahci: Reset port before access
Also throw error if wakup from power safe mode failes.

Fix #1776
2015-11-18 12:22:07 +01:00
..
acpi Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
ahci ahci: Reset port before access 2015-11-18 12:22:07 +01:00
audio/spec/linux Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
framebuffer/spec fb_sdl: check for X11 / prevent invalid-event flood 2015-11-04 14:09:28 +01:00
gpio/spec disabling verbose in gpio driver 2015-10-09 16:37:22 +02:00
input Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
nic/spec nic session: fix quota check 2015-10-09 16:38:48 +02:00
platform/spec platform_drv: increase RAM config for -O0 builds 2015-11-18 12:22:05 +01:00
rtc/spec/x86 Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
sd_card Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
timer Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
uart Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00