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

sel4: avoid out_of* in several run scripts

Browse Source 
caused by platform_drv and report_rom
This commit is contained in:
Alexander Boettcher
2023-01-27 10:10:03 +01:00
committed by Christian Helmuth
parent d2f27a34f7
commit 0724db2d80
3 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -15,7 +15,7 @@
<service name="Usb">
<default-policy> <child name="usb_drv"/> </default-policy> </service>
<start name="report_rom" caps="70">
<start name="report_rom" caps="100">
<resource name="RAM" quantum="1M"/>
<provides>
<service name="ROM" />
@@ -63,7 +63,7 @@
</start>
<start name="platform_drv" caps="100" managing_system="yes">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<provides> <service name="Platform"/> </provides>
<route>
<service name="ROM" label="devices"> <child name="report_rom"/> </service>

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

@@ -66,8 +66,8 @@ append config {
</default-route>
<default caps="100"/>
<start name="report_rom" caps="70">
<resource name="RAM" quantum="1M"/>
<start name="report_rom" caps="100">
<resource name="RAM" quantum="2M"/>
<provides>
<service name="ROM" />
<service name="Report" />
@@ -115,7 +115,7 @@ append config {
</start>
<start name="platform_drv" caps="100" managing_system="yes">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<provides> <service name="Platform"/> </provides>
<route>
<service name="ROM" label="devices"> <child name="report_rom"/> </service>

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

@@ -195,8 +195,8 @@ set config {
if { $use_wifi_driver } {
append config {
<start name="report_rom" caps="70">
<resource name="RAM" quantum="1M"/>
<start name="report_rom" caps="100">
<resource name="RAM" quantum="2M"/>
<provides>
<service name="ROM" />
<service name="Report" />
@@ -220,7 +220,7 @@ if { $use_wifi_driver } {
</start>
<start name="platform_drv" caps="100" managing_system="yes">
<resource name="RAM" quantum="1M"/>
<resource name="RAM" quantum="2M"/>
<provides> <service name="Platform"/> </provides>
<route>
<service name="ROM" label="devices"> <child name="report_rom"/> </service>