From 0724db2d80f1a3b2b052f9152449e3f1e32d7be8 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 27 Jan 2023 10:10:03 +0100
Subject: [PATCH] sel4: avoid out_of* in several run scripts

caused by platform_drv and report_rom
---
 repos/pc/recipes/raw/test_usb_host_drv-pc/drivers.config | 4 ++--
 repos/pc/run/intel_fb.run                                | 6 +++---
 repos/ports/run/netperf.inc                              | 6 +++---
 3 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/repos/pc/recipes/raw/test_usb_host_drv-pc/drivers.config b/repos/pc/recipes/raw/test_usb_host_drv-pc/drivers.config
index a99f43514f..19d8ea36c6 100644
--- a/repos/pc/recipes/raw/test_usb_host_drv-pc/drivers.config
+++ b/repos/pc/recipes/raw/test_usb_host_drv-pc/drivers.config
@@ -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>
diff --git a/repos/pc/run/intel_fb.run b/repos/pc/run/intel_fb.run
index 0f372fd129..dd08569901 100644
--- a/repos/pc/run/intel_fb.run
+++ b/repos/pc/run/intel_fb.run
@@ -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>
diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index d715cba382..71bc085dd3 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -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>