From 2b8ea7845f8be60cba3cd90f81f8d44740b3c8d3 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 28 Mar 2019 09:32:07 +0100
Subject: [PATCH] smartcard.run: increase caps for usb_drv

This is needed for running the test on seL4.
---
 repos/libports/run/smartcard.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/run/smartcard.run b/repos/libports/run/smartcard.run
index 520f6720d..46dc3733c 100644
--- a/repos/libports/run/smartcard.run
+++ b/repos/libports/run/smartcard.run
@@ -87,7 +87,7 @@ append config {
 		</config>
 	</start>
 
-	<start name="usb_drv" caps="120">
+	<start name="usb_drv" caps="200">
 		<resource name="RAM" quantum="16M"/>
 		<provides><service name="Usb"/></provides>
 		<config uhci="yes" ehci="yes" xhci="yes" bios_handoff="yes">