From 82f96668fa1568e4cd31f87ddf03dac38a16a7ca Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 13 Sep 2022 11:20:39 +0200
Subject: [PATCH] Increase cpu_burner RAM quota in test-trace_logger

Now, the test also succeeds on sel4.
---
 repos/os/recipes/pkg/test-trace_logger/runtime | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/recipes/pkg/test-trace_logger/runtime b/repos/os/recipes/pkg/test-trace_logger/runtime
index ef758a2171..60bf180d25 100644
--- a/repos/os/recipes/pkg/test-trace_logger/runtime
+++ b/repos/os/recipes/pkg/test-trace_logger/runtime
@@ -105,7 +105,7 @@
 
 		<start name="cpu_burner.1">
 			<binary name="cpu_burner"/>
-			<resource name="RAM" quantum="1M"/>
+			<resource name="RAM" quantum="1280K"/>
 			<route>
 				<service name="ROM" label="config">
 					<child name="dynamic_rom" label="cpu_burner1.config"/> </service>
@@ -115,7 +115,7 @@
 
 		<start name="cpu_burner.2">
 			<binary name="cpu_burner"/>
-			<resource name="RAM" quantum="1M"/>
+			<resource name="RAM" quantum="1280K"/>
 			<route>
 				<service name="ROM" label="config">
 					<child name="dynamic_rom" label="cpu_burner2.config"/> </service>