denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

noux_net_netcat.run: increase usb_drv quota

Browse Source 
Use quota large enough so that the USB driver does not attempt to
request further memory. On the Raspberry Pi, init has no slack memory
to respond to such a request.
This commit is contained in:
Norman Feske
2016-07-05 12:29:31 +02:00
parent 0efd89f12b
commit 11a4e7888d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/run/noux_net_netcat.run
View File

@@ -117,7 +117,7 @@ append_if [have_spec gpio] config {
append_if $use_usb_driver config {
<start name="usb_drv">
<resource name="RAM" quantum="12M"/>
<resource name="RAM" quantum="14M"/>
<provides>
<service name="Nic"/>
<service name="Input"/>