From 4e00e8ac680e17bf8b4f649d9aae06d32e46c4dd Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 8 Dec 2015 13:09:02 +0100
Subject: [PATCH] run: enable vbox pointer for vbox_auto* scripts

Makes mouse shapes of Windows VM visible.

Issue #1817
---
 repos/ports/run/vbox_win.inc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/ports/run/vbox_win.inc b/repos/ports/run/vbox_win.inc
index 55e04b825..9f56443fc 100644
--- a/repos/ports/run/vbox_win.inc
+++ b/repos/ports/run/vbox_win.inc
@@ -124,6 +124,9 @@ append config_of_app {
 
 	<start name="vbox_pointer" priority="-1">
 		<resource name="RAM" quantum="1M"/>
+		<config>
+			<policy label="nit_fb" rom="shape"/>
+		</config>
 		<route>
 			<service name="Nitpicker"> <child name="nitpicker"/>  </service>
 			<service name="ROM">       <child name="report_rom"/> </service>