From 0f227d5d24620994f22c4f74bf366a4b8b6912e5 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 7 Jun 2017 18:43:08 +0200
Subject: [PATCH] run: adjust virtualbox cap quotas to fit native hw

---
 repos/base/run/platform_drv.inc | 2 +-
 repos/ports/run/virtualbox.run  | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc
index 3109db623..06deca99d 100644
--- a/repos/base/run/platform_drv.inc
+++ b/repos/base/run/platform_drv.inc
@@ -130,7 +130,7 @@ proc platform_drv_config {} {
 	if {[have_spec acpi]} {
 
 		append drv_config {
-	<start name="acpi_drv" } [platform_drv_priority] { caps="200" >
+	<start name="acpi_drv" } [platform_drv_priority] { caps="400" >
 		<resource name="RAM" quantum="3M"/>
 		<route>
 			<service name="IO_MEM"> <parent/> </service>
diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run
index 13c033f58..5a7fe2455 100644
--- a/repos/ports/run/virtualbox.run
+++ b/repos/ports/run/virtualbox.run
@@ -198,7 +198,7 @@ append_if [expr $use_gui] config {
 			<service name="Input" />
 		</provides>
 
-		<config xpos="10" ypos="10" width="800" height="600"/>
+		<config xpos="10" ypos="10" width="1024" height="768"/>
 
 		<route>
 			<service name="Nitpicker"> <child name="nitpicker"/> </service>
@@ -213,14 +213,14 @@ append_if [expr $use_gui] config {
 			<service name="Framebuffer" />
 			<service name="Input" />
 		</provides>
-		<config xpos="410" ypos="310" width="800" height="600"/>
+		<config xpos="410" ypos="310" width="1024" height="768"/>
 		<route>
 			<service name="Nitpicker"> <child name="nitpicker"/> </service>
 			<any-service> <parent/> <any-child/> </any-service>
 		</route>
 	</start>
 
-	<start name="vbox2" priority="-2" caps="200">}
+	<start name="vbox2" priority="-2" caps="500">}
 append_if [expr $use_gui] config "
 		<binary name=\"$virtualbox_binary\"/>"
 append_if [expr $use_gui] config {
@@ -242,7 +242,7 @@ append_if [expr $use_gui] config {
 	</start>}
 
 append config {
-	<start name="vbox1" priority="-2" caps="200">}
+	<start name="vbox1" priority="-2" caps="500">}
 append config "
 		<binary name=\"$virtualbox_binary\"/>"
 append config {