From 141af733aab87a31e6d51af8ac6528a3813c1dfb Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 23 Mar 2021 13:48:52 +0100
Subject: [PATCH] vbox5: remove priority bands from vbox5-* packages

---
 repos/ports/recipes/pkg/vbox5-nova-sculpt/runtime |  2 +-
 repos/ports/recipes/pkg/vbox5/runtime             |  6 +++---
 .../recipes/raw/vbox5-nova-sculpt/init.config     | 15 ++-------------
 3 files changed, 6 insertions(+), 17 deletions(-)

diff --git a/repos/ports/recipes/pkg/vbox5-nova-sculpt/runtime b/repos/ports/recipes/pkg/vbox5-nova-sculpt/runtime
index 6dbbae3a7c..6dec30c4c0 100755
--- a/repos/ports/recipes/pkg/vbox5-nova-sculpt/runtime
+++ b/repos/ports/recipes/pkg/vbox5-nova-sculpt/runtime
@@ -12,6 +12,7 @@
 		<rom    label="clipboard"/>
 		<rm/>
 		<rtc/>
+		<timer/>
 		<rom label="usb_devices"/>
 		<usb/>
 	</requires>
@@ -20,7 +21,6 @@
 		<rom label="init.config"/>
 		<rom label="ld.lib.so"/>
 		<rom label="init"/>
-		<rom label="timer"/>
 		<rom label="virtualbox5-nova"/>
 		<rom label="libc.lib.so"/>
 		<rom label="libm.lib.so"/>
diff --git a/repos/ports/recipes/pkg/vbox5/runtime b/repos/ports/recipes/pkg/vbox5/runtime
index d83aeee0ba..5b8f2a88ce 100755
--- a/repos/ports/recipes/pkg/vbox5/runtime
+++ b/repos/ports/recipes/pkg/vbox5/runtime
@@ -1,4 +1,4 @@
-<runtime ram="4300M" caps="1500" binary="init">
+<runtime ram="4300M" caps="2500" binary="init">
 
 	<requires>
 		<file_system label="vm"/>
@@ -18,7 +18,7 @@
 		<usb/>
 	</requires>
 
-	<config verbose="yes" prio_levels="2">
+	<config verbose="yes">
 
 		<parent-provides>
 			<service name="ROM"/>
@@ -40,7 +40,7 @@
 
 		<default caps="100"/>
 
-		<start name="vbox" priority="-1" caps="1000">
+		<start name="vbox" caps="2000">
 			<binary name="virtualbox5" />
 			<resource name="RAM" quantum="8G"/>
 			<exit propagate="yes"/>
diff --git a/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config b/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config
index bff99ee254..4d623c5bd0 100755
--- a/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config
+++ b/repos/ports/recipes/raw/vbox5-nova-sculpt/init.config
@@ -1,4 +1,4 @@
-<config verbose="yes" prio_levels="2">
+<config verbose="yes">
 
 	<parent-provides>
 		<service name="ROM"/>
@@ -19,18 +19,7 @@
 
 	<default caps="100"/>
 
-	<start name="timer">
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="Timer"/></provides>
-		<config/>
-		<route>
-			<service name="ROM" label="platform_info">
-				<parent label="platform_info"/> </service>
-			<any-service> <parent/> </any-service>
-		</route>
-	</start>
-
-	<start name="vbox" priority="-1" caps="1000">
+	<start name="vbox" caps="1000">
 		<binary name="virtualbox5-nova" />
 		<resource name="RAM" quantum="8G"/>
 		<exit propagate="yes"/>