ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 13:26:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt/index: refer to recent audio mixer

Browse Source 
Instead of publishing the old audio mixer, refer to the recent
record_play_mixer providing the audio API that is used by almost
all components now.

Ref genodelabs/genode#5356
This commit is contained in:
Stefan Kalkowski 2024-10-16 16:23:04 +02:00 committed by Christian Helmuth
parent 8ec2d6a36b
commit 8094b1ee01
1 changed files with 12 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
repos/gems/run/sculpt/index
View File

@ -14,18 +14,18 @@
</index>
<index name="Tools">
<pkg path="system_shell" info="command-line interface to the system"/>
<pkg path="system_clock-pc" info="real-time-clock service" arch="x86_64"/>
<pkg path="qt5_textedit" info="Qt5-based text editor"/>
<pkg path="report_dump" info="save periodic snapshots of the report fs"/>
<pkg path="recall_fs" info="component-specific file-system view"/>
<pkg path="file_vault" info="encrypted file store"/>
<pkg path="black_hole" info="pseudo service provider"/>
<pkg path="usb_webcam" info="USB webcam"/>
<pkg path="bsd_audio" info="audio driver" arch="x86_64"/>
<pkg path="mixer" info="audio mixer"/>
<pkg path="terminal" info="graphical terminal"/>
<pkg path="gdb_x86" info="GNU debugger" arch="x86_64"/>
<pkg path="system_shell" info="command-line interface to the system"/>
<pkg path="system_clock-pc" info="real-time-clock service" arch="x86_64"/>
<pkg path="qt5_textedit" info="Qt5-based text editor"/>
<pkg path="report_dump" info="save periodic snapshots of the report fs"/>
<pkg path="recall_fs" info="component-specific file-system view"/>
<pkg path="file_vault" info="encrypted file store"/>
<pkg path="black_hole" info="pseudo service provider"/>
<pkg path="usb_webcam" info="USB webcam"/>
<pkg path="bsd_audio" info="audio driver" arch="x86_64"/>
<pkg path="record_play_mixer" info="audio mixer"/>
<pkg path="terminal" info="graphical terminal"/>
<pkg path="gdb_x86" info="GNU debugger" arch="x86_64"/>
</index>
<index name="Demos">