alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

smartcard.run: increase caps for usb_drv

Browse Source 
This is needed for running the test on seL4.
This commit is contained in:
Norman Feske
2019-03-28 09:32:07 +01:00
parent 483de40c96
commit 2b8ea7845f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/libports/run/smartcard.run
View File

@@ -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">