From cb9a26f1edb99d8f82c654ee458e88ae3767296c Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 1 Apr 2021 14:54:07 +0200
Subject: [PATCH] vbox6: sculpt runtime package

Issue #4031
---
 repos/ports/recipes/pkg/vbox6/README   |  2 +
 repos/ports/recipes/pkg/vbox6/archives |  9 +++
 repos/ports/recipes/pkg/vbox6/runtime  | 92 ++++++++++++++++++++++++++
 3 files changed, 103 insertions(+)
 create mode 100644 repos/ports/recipes/pkg/vbox6/README
 create mode 100755 repos/ports/recipes/pkg/vbox6/archives
 create mode 100755 repos/ports/recipes/pkg/vbox6/runtime

diff --git a/repos/ports/recipes/pkg/vbox6/README b/repos/ports/recipes/pkg/vbox6/README
new file mode 100644
index 0000000000..65e2382a96
--- /dev/null
+++ b/repos/ports/recipes/pkg/vbox6/README
@@ -0,0 +1,2 @@
+
+      VirtualBox runtime for hosting a large VM in the Sculpt scenario
diff --git a/repos/ports/recipes/pkg/vbox6/archives b/repos/ports/recipes/pkg/vbox6/archives
new file mode 100755
index 0000000000..d31ffb89be
--- /dev/null
+++ b/repos/ports/recipes/pkg/vbox6/archives
@@ -0,0 +1,9 @@
+_/src/init
+_/src/libc
+_/src/libiconv
+_/src/posix
+_/src/stdcxx
+_/src/vbox6
+_/src/vfs
+_/src/vfs_pipe
+_/src/zlib
diff --git a/repos/ports/recipes/pkg/vbox6/runtime b/repos/ports/recipes/pkg/vbox6/runtime
new file mode 100755
index 0000000000..591c6e22b4
--- /dev/null
+++ b/repos/ports/recipes/pkg/vbox6/runtime
@@ -0,0 +1,92 @@
+<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/>
+	</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"/>
+		</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.vbox" xhci="yes" vm_name="linux" capslock="ROM">
+				<vfs>
+					<dir name="dev">
+						<log/> <rtc/> <null/> <zero/>
+					</dir>
+					<dir name="pipe"> <pipe/> </dir>
+					<dir name="shared"> <fs label="shared" writeable="yes"/> </dir>
+					<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="/"/>
+			</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="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="libc.lib.so"/>
+		<rom label="libiconv.lib.so"/>
+		<rom label="libm.lib.so"/>
+		<rom label="qemu-usb.lib.so"/>
+		<rom label="stdcxx.lib.so"/>
+		<rom label="vfs.lib.so"/>
+		<rom label="vfs_pipe.lib.so"/>
+	</content>
+
+</runtime>