genode/repos/os/src/drivers/platform/spec
Alexander Boettcher 5ca30b0318 platform_drv: disable PCI DMA class specific
for such classes where it should be safe and where we have seen issues.
Disabling in general bus master DMA causes on some machines hard hangs, e.g.
because the USB handover protocol was violated.

Fixes #2835
2018-06-12 12:11:40 +02:00
..
arndale Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
imx53 Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
odroid_x2 Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
rpi Follow practices suggested by "Effective C++" 2018-01-17 12:14:35 +01:00
x86 platform_drv: disable PCI DMA class specific 2018-06-12 12:11:40 +02:00