genode/repos/dde_bsd/recipes
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
..
pkg/bsd_audio_drv dde_bsd: properly name PCI audio driver component 2020-11-23 12:02:59 +01:00
src/bsd_audio_drv dde_bsd: seperate PCI back end 2020-11-23 12:02:59 +01:00