mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
7193902cc0
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.
18 lines
267 B
Plaintext
18 lines
267 B
Plaintext
<runtime ram="16M" caps="256" binary="pci_audio_drv">
|
|
|
|
<requires> <platform/> <rm/> <timer/> </requires>
|
|
|
|
<provides>
|
|
<audio_out/>
|
|
<audio_in/>
|
|
</provides>
|
|
|
|
<config/>
|
|
|
|
<content>
|
|
<rom label="ld.lib.so"/>
|
|
<rom label="pci_audio_drv"/>
|
|
</content>
|
|
|
|
</runtime>
|