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

Increase quota of USB driver 

The additional quota is needed because of the recent performance
optimizations of the USB/networking code, e.g., to support the
increased NIC packet-stream buffer size.
This commit is contained in:
Norman Feske 2012-08-08 12:27:02 +02:00
parent a55b883146
commit 67fdc1b44b
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ports-foc/run/linux_panda.run
View File

@ -53,7 +53,7 @@ set config {
<provides><service name="Block"/></provides>
</start>
<start name="usb_drv" priority="-1">
<resource name="RAM" quantum="4M"/>
<resource name="RAM" quantum="6M"/>
<provides>
<service name="Input"/>
<service name="Nic"/>

2
ports-foc/run/multi_linux.run
View File

@ -84,7 +84,7 @@ append_if [have_spec ps2] config {
append_if [expr ![have_spec ps2] && [have_spec usb]] config {
<start name="input_drv">
<binary name="usb_drv"/>
<resource name="RAM" quantum="4M"/>
<resource name="RAM" quantum="6M"/>
<provides> <service name="Input"/> </provides>
<config> <hid/> </config>
</start> }

2
ports-foc/run/two_linux_panda.run
View File

@ -59,7 +59,7 @@ set config {
<provides><service name="Block"/></provides>
</start>
<start name="usb_drv">
<resource name="RAM" quantum="4M"/>
<resource name="RAM" quantum="6M"/>
<provides>
<service name="Input"/>
<service name="Nic"/>