alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Rename audio_out_drv to audio_drv

Browse Source 
With the introducation of the Audio_in session interface it makes
sense to rename the current available audio drivers. At the moment
only the dde_bsd audio_drv supports Audio_out as well as Audio_in.
The Linux audio_drv only supports Audio_out (there is no demand for
Audio_in support currently) but is renamed nonetheless to make it
easiert to write generic run scripts.

Issue #1644.
This commit is contained in:
Josef Söntgen
2015-08-12 14:21:24 +02:00
committed by Christian Helmuth
parent fb761283a2
commit 4992903233
12 changed files with 33 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/run/platform_drv.inc
View File

@@ -37,7 +37,7 @@ proc platform_drv_policy {} {
<policy label="wifi_drv"> <pci class="WIFI"/> </policy>
<policy label="usb_drv"> <pci class="USB"/> </policy>
<policy label="ahci_drv"> <pci class="AHCI"/> </policy>
<policy label="audio_out_drv"> <pci class="AUDIO"/> <pci class="HDAUDIO"/> </policy>}
<policy label="audio_drv"> <pci class="AUDIO"/> <pci class="HDAUDIO"/> </policy>}
} else {
return {}
}