From 7c1235ff34bb3174c1b5f7eccbf275e3c4f33232 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 17 Mar 2016 16:04:37 +0100
Subject: [PATCH] avplay.run: Remove mixer server

The mixer is not directly necessary for the avplay demo. But it implies
additional maintenance work. E.g., in the current state, it complains about
the missing Report server and mutes audio output by default.

Ref #1910
---
 repos/libports/run/avplay.run | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

diff --git a/repos/libports/run/avplay.run b/repos/libports/run/avplay.run
index 11fe0bfa3c..1e2d37d797 100644
--- a/repos/libports/run/avplay.run
+++ b/repos/libports/run/avplay.run
@@ -6,7 +6,6 @@ set build_components {
 	core init
 	drivers/timer
 	drivers/framebuffer drivers/input drivers/audio
-	server/mixer
 	app/avplay drivers/acpi
 }
 
@@ -89,14 +88,6 @@ append config {
 			<service name="Audio_out"/>
 		</provides>
 	</start>
-	<start name="mixer">
-		<resource name="RAM" quantum="4M"/>
-		<provides><service name="Audio_out"/></provides>
-		<route>
-			<service name="Audio_out"> <child name="audio_drv"/> </service>
-			<any-service> <parent/> <any-child/> </any-service>
-		</route>
-	</start>
 	<start name="avplay">
 		<resource name="RAM" quantum="64M"/>
 		<config>
@@ -112,7 +103,7 @@ append config {
 		</config>
 		<route>
 			<service name="Platform"> <any-child /> </service>
-			<service name="Audio_out"> <child name="mixer"/> </service>
+			<service name="Audio_out"> <child name="audio_drv"/> </service>
 			<any-service> <parent/> <any-child /> </any-service>
 		</route>
 	</start>
@@ -126,7 +117,7 @@ install_config $config
 #
 
 set boot_modules {
-	core init timer audio_drv mixer avplay
+	core init timer audio_drv avplay
 	ld.lib.so libc.lib.so libm.lib.so pthread.lib.so zlib.lib.so sdl.lib.so
 	avfilter.lib.so avutil.lib.so avcodec.lib.so avformat.lib.so swscale.lib.so
 	mediafile