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

pci_decode: increase default ram quota

Browse Source 
To circumvent problems of the page-table entries getting short on sel4,
increase the RAM quota for this component in all run-scripts.

Fix #4686
This commit is contained in:
Stefan Kalkowski
2022-11-18 14:11:38 +01:00
committed by Christian Helmuth
parent 10aa5ebf03
commit f6825eea5f
18 changed files with 18 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/dde_bsd/run/audio_in.run
View File

@@ -77,7 +77,7 @@ append config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/dde_bsd/run/audio_out.run
View File

@@ -65,7 +65,7 @@ install_config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/dde_linux/run/nic_router_uplinks.run
View File

@@ -68,7 +68,7 @@ install_config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/gems/recipes/raw/drivers_nic-pc/drivers.config
View File

@@ -50,7 +50,7 @@
</start>
<start name="pci_decode">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/gems/sculpt/drivers/pc
View File

@@ -102,7 +102,7 @@
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

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

@@ -71,7 +71,7 @@ set config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="ROM" label="system"> <child name="drivers_reports"/> </service>
<service name="Report"> <child name="drivers_reports"/> </service>

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

@@ -62,7 +62,7 @@ install_config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/libports/run/webcam.inc
View File

@@ -78,7 +78,7 @@ append config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/os/recipes/raw/drivers_interactive-pc/drivers.config
View File

@@ -49,7 +49,7 @@
</start>
<start name="pci_decode" caps="100">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/os/run/ahci_block.run
View File

@@ -64,7 +64,7 @@ install_config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/os/run/mixer.run
View File

@@ -75,7 +75,7 @@ set config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/os/run/nvme.run
View File

@@ -115,7 +115,7 @@ append config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report"> <child name="report_rom"/> </service>
<service name="ROM" label="system"> <child name="report_rom"/> </service>

2
repos/pc/recipes/raw/test_usb_host_drv-pc/drivers.config
View File

@@ -47,7 +47,7 @@
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report">
<child name="report_rom"/> </service>

2
repos/pc/run/intel_fb.run
View File

@@ -99,7 +99,7 @@ append config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report">
<child name="report_rom"/> </service>

2
repos/pc/run/wifi.run
View File

@@ -140,7 +140,7 @@ append config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="Report">
<child name="report_rom"/> </service>

2
repos/ports/run/netperf.inc
View File

@@ -212,7 +212,7 @@ if { $use_wifi_driver } {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="ROM" label="system"> <child name="report_rom"/> </service>
<any-service> <parent/> <any-child/> </any-service>

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

@@ -80,7 +80,7 @@ install_config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="ROM" label="system"> <child name="report_rom"/> </service>
<service name="Report"> <child name="report_rom"/> </service>

2
repos/ports/run/virtualbox_auto.inc
View File

@@ -132,7 +132,7 @@ append config {
</start>
<start name="pci_decode" caps="350">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<route>
<service name="ROM" label="system"> <child name="platform_reports"/> </service>
<service name="Report"> <child name="platform_reports"/> </service>