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

Increase quota of USB driver 

The memory allocation heuristics in the usb driver provided by dde_linux
changed with the recent commit 71b2b42936.
Apparently, the new variant requires a larger memory pool. Increasing
the quota is a temporary fix until the memory allocator gets revisited.
This commit is contained in:
Norman Feske 2012-09-17 16:01:07 +02:00
parent efe3b8af74
commit 3e406a1077
8 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dde_linux/run/linux_nic_panda.run
View File

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

2
os/run/demo.run
View File

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

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="6M"/>
<resource name="RAM" quantum="12M"/>
<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="6M"/>
<resource name="RAM" quantum="12M"/>
<provides> <service name="Input"/> </provides>
<config> <hid/> </config>
</start> }

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

@ -88,7 +88,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="12M"/>
<provides>
<service name="Input"/>
<service name="Nic" />

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="6M"/>
<resource name="RAM" quantum="12M"/>
<provides>
<service name="Input"/>
<service name="Nic"/>

2
ports/run/genode_org.run
View File

@ -53,7 +53,7 @@ append_if [have_spec pci] config {
append_if [have_spec omap4] config {
<start name="usb_drv" priority="-1">
<resource name="RAM" quantum="6M"/>
<resource name="RAM" quantum="12M"/>
<provides>
<service name="Input"/>
<service name="Nic"/>

2
qt4/run/textedit.run
View File

@ -82,7 +82,7 @@ append_if [have_spec omap4] config {
append_if [expr ![have_spec ps2] && [have_spec usb]] config {
<start name="usb_drv">
<resource name="RAM" quantum="3M"/>
<resource name="RAM" quantum="12M"/>
<provides><service name="Input"/></provides>
<config> <hid/> </config>
</start>}