genode/repos/dde_bsd/src/drivers
Josef Söntgen 3859e83a78 dde_bsd: requires pci
Prevent building the driver on linux.

Fixes #1785.
2015-11-27 12:18:51 +01:00
..
audio dde_bsd: requires pci 2015-11-27 12:18:51 +01:00