genode/repos/os/src/drivers
Sebastian Sumpf ea78d85d35 ahci: SYNC with empty NCQ queue only
Fixes #3746
2020-05-18 10:16:12 +02:00
..
acpi smbios.h: move to os/include/smbios 2019-11-19 14:54:12 +01:00
ahci ahci: SYNC with empty NCQ queue only 2020-05-18 10:16:12 +02:00
audio/spec/linux timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
framebuffer os: re-enable drivers_interactive for i.MX53 2020-04-24 14:37:57 +02:00
gpio/spec os: re-enable drivers_interactive for i.MX53 2020-04-24 14:37:57 +02:00
gpu/intel Remove Allocator_guard 2020-05-18 10:16:12 +02:00
input os: re-enable drivers_interactive for i.MX53 2020-04-24 14:37:57 +02:00
nic Fix ram session quota accounting in lan9118 2019-11-19 14:23:56 +01:00
nvme os: use Request_stream API in NVMe driver 2020-04-17 12:39:32 +02:00
platform/spec Remove Allocator_guard 2020-05-18 10:16:12 +02:00
rtc Cleanup linux_rtc_drv and lx_fs target.mk 2019-12-19 17:01:42 +01:00
sd_card Retire Exynos 5 support (fix #3725) 2020-04-17 12:53:57 +02:00
uart Retire Exynos 5 support (fix #3725) 2020-04-17 12:53:57 +02:00
usb_block usb_block: switch to Request_stream API 2020-03-26 11:38:55 +01:00