From e65802eb685b39141331b4bc1e2c47414db221e5 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 16 Mar 2017 17:12:20 +0100
Subject: [PATCH] vbox: adjust RAM quota of vbox_pointer

---
 repos/ports/run/vbox_win.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/vbox_win.inc b/repos/ports/run/vbox_win.inc
index 62ecd3d386..a4f96f4df6 100644
--- a/repos/ports/run/vbox_win.inc
+++ b/repos/ports/run/vbox_win.inc
@@ -149,7 +149,7 @@ append config_of_app {
 	</start>
 
 	<start name="vbox_pointer" priority="-1">
-		<resource name="RAM" quantum="1200K"/>
+		<resource name="RAM" quantum="2M"/>
 		<config>}
 
 for { set i 1} { $i <= $use_vms } { incr i} {