From 9b397b03215fca5cdd8968dabdee75a8554e25ec Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 9 Dec 2016 16:47:11 +0100
Subject: [PATCH] vbox: adjust vbox_pointer policy to be working

vbox_pointer parses for 'label' and has no understanding of 'label_prefix'
---
 repos/ports/run/vbox_pointer.run        | 8 ++++----
 repos/ports/run/vbox_win.inc            | 4 ++--
 repos/ports/src/app/vbox_pointer/README | 6 +++---
 3 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/repos/ports/run/vbox_pointer.run b/repos/ports/run/vbox_pointer.run
index 7133d151b4..a33d9c0dec 100644
--- a/repos/ports/run/vbox_pointer.run
+++ b/repos/ports/run/vbox_pointer.run
@@ -185,10 +185,10 @@ set config {
 		<binary name="vbox_pointer"/>
 		<resource name="RAM" quantum="1M"/>
 		<config>
-			<default-policy domain="smiley"   rom="smiley"/>
-			<policy label_prefix="test-label-arrow"  rom="arrow"/>
-			<policy label_prefix="test-label-blade"  rom="blade"/>
-			<policy label_prefix="test-label-bladex" rom="bladex"/>
+			<policy domain="smiley"   rom="smiley"/>
+			<policy label="test-label-arrow"  rom="arrow"/>
+			<policy label="test-label-blade"  rom="blade"/>
+			<policy label="test-label-bladex" rom="bladex"/>
 		</config>
 		<route>
 			<service name="RM">        <parent/>                            </service>
diff --git a/repos/ports/run/vbox_win.inc b/repos/ports/run/vbox_win.inc
index c1e4c6fb83..1ca477b3ff 100644
--- a/repos/ports/run/vbox_win.inc
+++ b/repos/ports/run/vbox_win.inc
@@ -99,7 +99,7 @@ append config_of_app {
 	</start>
 
 	<start name="report_rom">
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<provides> <service name="Report"/> <service name="ROM"/> </provides>
 		<config>
 			<policy label="vbox_pointer -> hover"               report="nitpicker -> hover"/>
@@ -149,7 +149,7 @@ append config_of_app {
 
 for { set i 1} { $i <= $use_vms } { incr i} {
 append config_of_app "
-			<policy label_prefix=\"nit_fb$i\" rom=\"shape$i\"/>"
+			<policy label=\"nit_fb$i\" rom=\"shape$i\"/>"
 }
 
 append config_of_app {
diff --git a/repos/ports/src/app/vbox_pointer/README b/repos/ports/src/app/vbox_pointer/README
index 68b0939e11..886f880f24 100644
--- a/repos/ports/src/app/vbox_pointer/README
+++ b/repos/ports/src/app/vbox_pointer/README
@@ -9,9 +9,9 @@ defined for labels or domains of the sessions.
 ! <start name="vbox_pointer">
 !   <resource name="RAM" quantum="1M"/>
 !   <config>
-!     <default-policy domain="smiley"         rom="smiley"/>
-!     <policy label_prefix="test-label-arrow" rom="arrow"/>
-!     <policy label_prefix="test-label-blade" rom="blade"/>
+!     <policy domain="smiley"          rom="smiley"/>
+!     <policy label="test-label-arrow" rom="arrow"/>
+!     <policy label="test-label-blade" rom="blade"/>
 !   </config>
 ! </start>