mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
* Remove wrapper for legacy x86 platform API * Move PCI configuration space quirks to corresponding driver (pc_usb_host_drv, pc_wifi_drv, pc_intel_fb_drv) * Adapt driver test run-scripts to changed configuration Ref genodelabs/genode#4578