genode/repos/os/src/drivers
Alexander Boettcher 5d808cdc01 platform_drv: extend MSI-X supports
The patch handles the case, that the memory for the MSI-X table is part
of one of the Pci::Resource Memory BARs, which got allocated beforehand already.

With this commit, the platform driver will not fall back to use legacy IRQs or MSI, whereby MSI-X is available actually. Additionally, this patch avoids a lot of red
messages about non available IO-MEM printed by the roottask.

Fixes #3904
2020-10-09 13:35:56 +02:00
..
acpi acpi_drv: avoid out-of-bound access to FADT table 2020-07-30 08:49:23 +02:00
ahci ahci: SYNC with empty NCQ queue only 2020-05-18 10:16:12 +02:00
audio/spec/linux Avoid use of deprecated Xml_node methods 2020-05-18 10:16:14 +02:00
framebuffer Remove drivers/framebuffer/spec directory 2020-08-25 11:50:09 +02:00
gpio hw: unify irq enumeration for Raspberri Pi 2020-08-25 11:50:12 +02:00
gpu/intel Remove Allocator_guard 2020-05-18 10:16:12 +02:00
nic net: move ascii_to() into Net namespace 2020-09-17 10:13:22 +02:00
nvme Replace Genode::strncpy by Genode::copy_cstring 2020-05-27 11:56:45 +02:00
platform platform_drv: extend MSI-X supports 2020-10-09 13:35:56 +02:00
ps2 Move drivers/input/spec/ps2 to drivers/ps2 2020-08-25 11:50:09 +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: fix upper block-number range check 2020-08-25 11:50:11 +02:00