genode/repos/ports/recipes/pkg/vbox6/runtime

<runtime ram="4300M" caps="2500" binary="init">

	<requires>
		<file_system label="vm"/>
		<file_system label="shared"/>
		<vm/>
		<timer/>
		<gui/>
		<nic/>
		<rom label="capslock"/>
		<rom label="platform_info"/>
		<report label="shape"/>
		<report label="clipboard"/>
		<rom    label="clipboard"/>
		<rm/>
		<rtc/>
		<rom label="usb_devices"/>
		<usb/>
		<audio_out/>
		<audio_in/>
	</requires>

	<config verbose="yes">

		<parent-provides>
			<service name="ROM"/>
			<service name="PD"/>
			<service name="RM"/>
			<service name="CPU"/>
			<service name="LOG"/>
			<service name="VM"/>
			<service name="Gui"/>
			<service name="Timer"/>
			<service name="Rtc"/>
			<service name="Report"/>
			<service name="File_system"/>
			<service name="Usb"/>
			<service name="Nic"/>
			<service name="Audio_out"/>
			<service name="Audio_in"/>
		</parent-provides>

		<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>

		<default caps="100"/>

		<start name="vbox" caps="2000">
			<binary name="virtualbox6" />
			<resource name="RAM" quantum="8G"/>
			<exit propagate="yes"/>
			<config vbox_file="machine.vbox6" xhci="yes" vm_name="linux" capslock="rom" ld_verbose="yes">
				<vfs>
					<dir name="dev">
						<log/> <rtc/> <null/> <zero/> <oss name="dsp"/>
					</dir>
					<dir name="pipe"> <pipe/> </dir>
					<dir name="shared"> <fs label="shared" writeable="yes"/> </dir>
					<rom name="VBoxSharedClipboard.so"/>
					<rom name="VBoxSharedFolders.so"/>
					<fs writeable="yes"/>
				</vfs>
				<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="/pipe">
					<pthread placement="single-cpu"/>
				</libc>
				<arg value="virtualbox"/>
				<env key="VBOX_USER_HOME" value="/"/>
				<env key="VBOX_LOG_DEST"          value="file=/dev/log"/>
				<env key="VBOX_LOG"               value="+drv_host_audio"/>
				<env key="VBOX_LOG_FLAGS"         value="thread"/>
				<env key="VBOX_RELEASE_LOG_DEST"  value="file=/dev/log"/>
				<env key="VBOX_RELEASE_LOG"       value=""/>
				<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="usb_devices">    <parent label="usb_devices"/>   </service>
				<service name="ROM" label="capslock">       <parent label="capslock"/>      </service>
				<service name="ROM" label="platform_info">  <parent label="platform_info"/> </service>
				<service name="ROM" label="VBoxSharedClipboard.so">
				  <parent label="virtualbox6-sharedclipboard.lib.so"/> </service>
				<service name="ROM" label="VBoxSharedFolders.so">
				  <parent label="virtualbox6-sharedfolders.lib.so"/> </service>
				<service name="Nic">                        <parent/>                       </service>
				<service name="Report" label="shape">       <parent label="shape"/>         </service>
				<service name="ROM"    label="clipboard">   <parent label="clipboard"/>     </service>
				<service name="Report" label="clipboard">   <parent label="clipboard"/>     </service>
				<service name="Gui">                        <parent label=""/>              </service>
				<any-service> <parent/> </any-service>
			</route>
		</start>
	</config>

	<content>
		<rom label="ld.lib.so"/>
		<rom label="init"/>
		<rom label="virtualbox6"/>
		<rom label="jpeg.lib.so"/>
		<rom label="libc.lib.so"/>
		<rom label="libiconv.lib.so"/>
		<rom label="libm.lib.so"/>
		<rom label="libyuv.lib.so"/>
		<rom label="qemu-usb.lib.so"/>
		<rom label="stdcxx.lib.so"/>
		<rom label="vfs.lib.so"/>
		<rom label="vfs_oss.lib.so"/>
		<rom label="vfs_pipe.lib.so"/>
		<rom label="virtualbox6-sharedclipboard.lib.so"/>
		<rom label="virtualbox6-sharedfolders.lib.so"/>
	</content>

</runtime>