genode/repos/os/src/drivers
Alexander Boettcher b7f2b92dbc pci: restrict usage of pci config space
White list access to ports we actually need for our drivers so far and
deny everything else by default. The extend pci config space dataspace is
currently not used and exposes a potential risk (BAR rewrite) - so deny.

Related to #1487
2015-05-06 10:55:22 +02:00
..
acpi pci: use ram quota upgrade mechanism 2015-05-06 10:55:19 +02:00
ahci ahci: upgrade memory 2015-05-06 10:55:20 +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: restrict usage of pci config space 2015-05-06 10:55:22 +02:00
platform Remove unused GTA01 platform support 2015-04-17 16:13:21 +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