genode/repos/dde_bsd/src
Josef Söntgen 7193902cc0 dde_bsd: properly name PCI audio driver component
Instead of the generic name, call the PCI driver 'pci_audio_drv'.

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

Issue #3929.
2020-11-23 12:02:59 +01:00
..
drivers/audio dde_bsd: properly name PCI audio driver component 2020-11-23 12:02:59 +01:00
lib/audio dde_bsd: seperate PCI back end 2020-11-23 12:02:59 +01:00
test/audio_in Exclude higher-level repos from strict warnings 2018-01-17 12:14:36 +01:00