mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
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
This commit is contained in:
parent
1fc707d9dc
commit
7c1235ff34
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user