From 708b7f461900312ee9438d5cb32d34dd8b96a8c8 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 20 May 2021 15:09:31 +0200
Subject: [PATCH] cpu_balancer.run: adjust quota for seL4

---
 repos/os/run/cpu_balancer.run | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/run/cpu_balancer.run b/repos/os/run/cpu_balancer.run
index 48bec43bc3..0ca78c903e 100644
--- a/repos/os/run/cpu_balancer.run
+++ b/repos/os/run/cpu_balancer.run
@@ -90,10 +90,10 @@ append config {
 		</route>
 	</start>
 
-	<start name="cpu_burner" priority="-1">
+	<start name="cpu_burner" priority="-1" caps="120">
 		<binary name="shim"/>
 		<affinity xpos="1" ypos="0" width="2" height="1"/>
-		<resource name="RAM" quantum="2M"/>
+		<resource name="RAM" quantum="3M"/>
 		<route>
 
 			<!-- by shim binary -->