vbox6: switch pkgs to new VFS OSS plugin

Issue genodelabs/genode#5167.
This commit is contained in:
Josef Söntgen 2024-03-28 13:55:10 +01:00 committed by Christian Helmuth
parent 5f88562263
commit bda86b8f15
4 changed files with 16 additions and 16 deletions

View File

@ -12,6 +12,6 @@ _/src/stdcxx
_/src/vbox6
_/src/vfs
_/src/vfs_gpu
_/src/vfs_legacy_oss
_/src/vfs_oss
_/src/vfs_pipe
_/src/zlib

View File

@ -18,8 +18,8 @@
<rm/>
<rtc/>
<usb/>
<audio_out/>
<audio_in/>
<play/>
<record/>
</requires>
<config verbose="yes">
@ -39,8 +39,8 @@
<service name="File_system"/>
<service name="Usb"/>
<service name="Nic"/>
<service name="Audio_out"/>
<service name="Audio_in"/>
<service name="Play"/>
<service name="Record"/>
<service name="Capture"/>
</parent-provides>
@ -55,7 +55,8 @@
<config vbox_file="machine.vbox6" xhci="yes" vm_name="linux" capslock="rom" ld_verbose="yes">
<vfs>
<dir name="dev">
<log/> <rtc/> <null/> <gpu/> <zero/> <legacy_oss name="dsp"/>
<log/> <rtc/> <null/> <gpu/> <zero/>
<oss name="dsp" min_ofrag_size="8192" min_ifrag_size="8192"/>
</dir>
<dir name="pipe"> <pipe/> </dir>
<dir name="shared"> <fs label="shared" writeable="yes"/> </dir>
@ -77,7 +78,6 @@
<env key="VBOX_RELEASE_LOG_FLAGS" value="thread"/>
</config>
<route>
<service name="Audio_out"> <parent/> </service>
<service name="File_system" label="shared"> <parent label="shared"/> </service>
<service name="File_system"> <parent label="vm"/> </service>
<service name="ROM" label="capslock"> <parent label="capslock"/> </service>
@ -115,8 +115,8 @@
<rom label="qemu-usb.lib.so"/>
<rom label="stdcxx.lib.so"/>
<rom label="vfs.lib.so"/>
<rom label="vfs_legacy_oss.lib.so"/>
<rom label="vfs_gpu.lib.so"/>
<rom label="vfs_oss.lib.so"/>
<rom label="vfs_pipe.lib.so"/>
<rom label="virtualbox6-shaderlib.lib.so"/>
<rom label="virtualbox6-sharedclipboard.lib.so"/>

View File

@ -12,6 +12,6 @@ _/src/stdcxx
_/src/vbox6
_/src/vfs
_/src/vfs_gpu
_/src/vfs_legacy_oss
_/src/vfs_oss
_/src/vfs_pipe
_/src/zlib

View File

@ -17,8 +17,8 @@
<rm/>
<rtc/>
<usb/>
<audio_out/>
<audio_in/>
<play/>
<record/>
</requires>
<config verbose="yes">
@ -38,8 +38,8 @@
<service name="File_system"/>
<service name="Usb"/>
<service name="Nic"/>
<service name="Audio_out"/>
<service name="Audio_in"/>
<service name="Play"/>
<service name="Record"/>
</parent-provides>
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
@ -53,7 +53,8 @@
<config vbox_file="machine.vbox6" xhci="yes" vm_name="linux" capslock="rom" ld_verbose="yes">
<vfs>
<dir name="dev">
<log/> <rtc/> <null/> <gpu/> <zero/> <legacy_oss name="dsp"/>
<log/> <rtc/> <null/> <gpu/> <zero/>
<oss name="dsp" min_ofrag_size="8192" min_ifrag_size="8192"/>
</dir>
<dir name="pipe"> <pipe/> </dir>
<dir name="shared"> <fs label="shared" writeable="yes"/> </dir>
@ -74,7 +75,6 @@
<env key="VBOX_RELEASE_LOG_FLAGS" value="thread"/>
</config>
<route>
<service name="Audio_out"> <parent/> </service>
<service name="File_system" label="shared"> <parent label="shared"/> </service>
<service name="File_system"> <parent label="vm"/> </service>
<service name="ROM" label="capslock"> <parent label="capslock"/> </service>
@ -113,7 +113,7 @@
<rom label="stdcxx.lib.so"/>
<rom label="vfs.lib.so"/>
<rom label="vfs_gpu.lib.so"/>
<rom label="vfs_legacy_oss.lib.so"/>
<rom label="vfs_oss.lib.so"/>
<rom label="vfs_pipe.lib.so"/>
<rom label="virtualbox6-shaderlib.lib.so"/>
<rom label="virtualbox6-sharedclipboard.lib.so"/>