mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 01:11:06 +00:00
Increase cap quota for usb_drv
This commit is contained in:
parent
f361cb28a5
commit
ae0c9e7692
@ -112,7 +112,7 @@ append config {
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides><service name="Timer"/></provides>
|
||||
</start>
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="16M"/>
|
||||
<provides><service name="Input"/></provides>
|
||||
<config uhci="yes" ohci="yes" ehci="yes" xhci="yes">
|
||||
|
@ -94,7 +94,7 @@ append_if [have_spec ps2] config {
|
||||
</start>}
|
||||
|
||||
append_if [need_usb_hid] config {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="12M"/>
|
||||
<provides><service name="Input"/></provides>
|
||||
<config ehci="yes" uhci="yes" xhci="no"> <hid/> </config>
|
||||
|
@ -98,7 +98,7 @@ append_if [have_spec gpio] config "
|
||||
</start>"
|
||||
|
||||
append_if [need_usb_hid] config {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="12M"/>
|
||||
<provides><service name="Input"/></provides>
|
||||
<config uhci="yes" ehci="yes" xhci="yes"> <hid/> </config>
|
||||
|
@ -71,7 +71,7 @@ append_if [have_spec gpio] config "
|
||||
</start>"
|
||||
|
||||
append_if $use_usb_driver config {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="12M"/>
|
||||
<provides>
|
||||
<service name="Nic"/>
|
||||
|
@ -92,7 +92,7 @@ append_if [have_spec gpio] config "
|
||||
</start>"
|
||||
|
||||
append_if $use_usb_driver config {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="14M"/>
|
||||
<provides>
|
||||
<service name="Nic"/>
|
||||
|
@ -63,7 +63,7 @@ proc nic_drv_config { } {
|
||||
}
|
||||
if {[nic_drv] == "usb_drv"} {
|
||||
append result {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="14M"/>
|
||||
<provides>
|
||||
<service name="Nic"/>
|
||||
|
@ -67,7 +67,7 @@ proc nic_drv_config { } {
|
||||
}
|
||||
if {[nic_drv] == "usb_drv"} {
|
||||
append result {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="14M"/>
|
||||
<provides>
|
||||
<service name="Nic"/>
|
||||
|
@ -267,7 +267,7 @@ proc drivers_start_nodes { feature_arg } {
|
||||
|
||||
if { [use_usb_drv feature] } {
|
||||
append start_nodes {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="12M"/>
|
||||
<provides>}
|
||||
append_if [use_usb_input feature] start_nodes {
|
||||
|
@ -74,7 +74,7 @@ append config {
|
||||
<resource name="RAM" quantum="1M"/>
|
||||
<provides><service name="Timer"/></provides>
|
||||
</start>
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="16M"/>
|
||||
<provides><service name="Usb"/></provides>
|
||||
<config uhci="yes" ehci="yes" xhci="yes" bios_handoff="no">
|
||||
|
@ -103,7 +103,7 @@
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="usb_drv" caps="100">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="14M"/>
|
||||
<provides> <service name="Input"/> </provides>
|
||||
<config uhci="yes" ehci="yes" xhci="yes"> <hid/> </config>
|
||||
|
@ -91,7 +91,7 @@ append_if [have_spec ps2] config {
|
||||
</start>}
|
||||
|
||||
append_if [need_usb_hid] config {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="12M"/>
|
||||
<provides><service name="Input"/></provides>
|
||||
<config ehci="yes" uhci="yes" xhci="no"> <hid/> </config>
|
||||
|
@ -68,7 +68,7 @@ append config {
|
||||
<default-policy report="usb_drv -> devices"/>
|
||||
</config>
|
||||
</start>
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="16M"/>
|
||||
<provides> <service name="Usb"/> </provides>
|
||||
<config uhci="yes" ehci="yes" xhci="yes">
|
||||
|
@ -155,7 +155,7 @@ proc usb_drv_ram_quota {} {
|
||||
}
|
||||
|
||||
append_if $use_usb_driver config {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="} [usb_drv_ram_quota] {"/>
|
||||
<provides>
|
||||
<service name="Nic"/>
|
||||
|
@ -118,7 +118,7 @@ append_if [have_spec gpio] config "
|
||||
</start>"
|
||||
|
||||
append_if $use_usb_driver config {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="14M"/>
|
||||
<provides>
|
||||
<service name="Nic"/>
|
||||
|
@ -126,7 +126,7 @@ append_if [have_spec ps2] config {
|
||||
</start> }
|
||||
|
||||
append_if $use_usb_input config {
|
||||
<start name="usb_drv">
|
||||
<start name="usb_drv" caps="120">
|
||||
<resource name="RAM" quantum="12M"/>
|
||||
<provides><service name="Input"/></provides>
|
||||
<config uhci="yes" ehci="no" xhci="no"> <hid/> </config>
|
||||
|
@ -271,7 +271,7 @@ append config {
|
||||
}
|
||||
|
||||
append_if $use_usb config {
|
||||
<start name="usb_drv" priority="-1">
|
||||
<start name="usb_drv" priority="-1" caps="120">
|
||||
<resource name="RAM" quantum="7M"/>
|
||||
<provides><service name="Input"/></provides>
|
||||
<config uhci="yes" ehci="yes" xhci="yes">
|
||||
|
@ -86,7 +86,7 @@ append_if [expr $use_ps2] config {
|
||||
</start>}
|
||||
|
||||
append_if [expr $use_usb] config {
|
||||
<start name="usb_drv" priority="-1">
|
||||
<start name="usb_drv" priority="-1" caps="120">
|
||||
<resource name="RAM" quantum="7M"/>
|
||||
<provides><service name="Input"/></provides>}
|
||||
|
||||
|
@ -300,7 +300,7 @@ append_if [expr $use_usb] config {
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="usb_drv" priority="-1">
|
||||
<start name="usb_drv" priority="-1" caps="120">
|
||||
<resource name="RAM" quantum="20M"/>
|
||||
<provides>
|
||||
<service name="Input"/>
|
||||
|
Loading…
Reference in New Issue
Block a user