genode/repos/dde_bsd/lib
Josef Söntgen 3faf5c43a8 dde_bsd: seperate PCI back end
The supported drivers so far exclusively used PCI and for practical
reasons the emulation environment was to tied to. To make future
addition of drivers that employ other transport busses easier, split
the bus handling into its own backend.

This is preliminary clean-up work before introducing the USB audio
driver.

Issue #3929.
2020-11-23 12:02:59 +01:00
..
import Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00
mk dde_bsd: seperate PCI back end 2020-11-23 12:02:59 +01:00