genode/repos/os/src/drivers
Christian Prochaska 193a401097 Increase RAM quota of ACPI driver to 4M
On some machines, more than 3 MiB are needed. This finally equalizes all
occurences of RAM quotas with drivers_managed.

Fixes #3443
2019-08-13 12:02:03 +02:00
..
acpi Increase RAM quota of ACPI driver to 4M 2019-08-13 12:02:03 +02:00
ahci os: name ahci_drv unambigously (ref #2190) 2019-05-16 13:11:01 +02:00
audio/spec/linux timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
framebuffer os: name fb_drv unambigously (ref #2190) 2019-05-16 13:11:01 +02:00
gpio/spec os: name gpio_drv unambigously (ref #2190) 2019-05-16 12:52:59 +02:00
gpu/intel intel_gpu_drv: fix compile error with GCC 8.3.0 2019-05-27 14:46:53 +02:00
input ps2: initially set all keyboard LEDs off 2019-07-09 15:57:32 +02:00
nic zynq: improve nic driver error handling 2019-05-16 13:11:00 +02:00
nvme nvme_drv: only set the first INTMS bit on reset 2019-06-13 12:17:31 +02:00
platform/spec platform_drv: adjust to g++ 8.3.0 2019-05-27 14:53:31 +02:00
rtc rtc_drv: add support for setting RTC 2019-08-13 12:02:03 +02:00
sd_card os: name sd_card_drv unambigously (ref #2190) 2019-05-16 13:11:01 +02:00
uart os: rename uart_drv unambigously (ref #2190) 2019-05-16 13:11:01 +02:00
usb_block block_session: server-defined payload alignment 2019-05-03 13:53:12 +02:00