mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-23 09:15:36 +00:00
This commit prefixes the Play sessions of the audio driver so that these can be matched differently in the 'record_play_mixer' config. The same could be archived with re-labling but naming the sessions differently at the source prevents accidental mis-configuration. Issue #5167.