From ce01fd5321cb75e54c8ef9a2cb6877cb4992b627 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 26 Jun 2017 14:33:49 +0200
Subject: [PATCH] depot: update drivers_interactive-pbxa9 to 17.05

With this commit, the wm.run script works for the pbxa9 platform when
using the base-hw kernel.
---
 repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config b/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config
index 5108537b54..4b99094fe6 100644
--- a/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pbxa9/drivers.config
@@ -10,6 +10,8 @@
 		<service name="Timer"/>
 	</parent-provides>
 
+	<default caps="100"/>
+
 	<service name="Framebuffer">
 		<default-policy> <child name="fb_drv"/> </default-policy> </service>