From 26d4d227ea1e73ad15bbea10d893e19ee1f81712 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 14 Sep 2017 17:29:46 +0200
Subject: [PATCH] ports: define cap quota in vbox_pointer.run

---
 repos/ports/run/vbox_pointer.run | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/ports/run/vbox_pointer.run b/repos/ports/run/vbox_pointer.run
index 1412211b5..4ad1ac1ba 100644
--- a/repos/ports/run/vbox_pointer.run
+++ b/repos/ports/run/vbox_pointer.run
@@ -38,6 +38,8 @@ set config {
 		<service name="LOG"/>
 	</parent-provides>
 
+	<default caps="100"/>
+
 	<start name="timer">
 		<resource name="RAM" quantum="1M"/>
 		<provides> <service name="Timer"/> </provides>
@@ -73,7 +75,7 @@ set config {
 		<provides> <service name="Report"/> <service name="ROM"/> </provides>
 		<config>
 			<policy label="pointer -> hover" report="nitpicker -> hover"/>
-			<policy label="pointer -> xray"  report="nitpicker -> xray"/>
+			<policy label="pointer -> xray"  report="null"/>
 			<policy label="pointer -> focus" report="nitpicker -> focus"/>
 		</config>
 		<route>