From 28a71f4a730cf4f9839439393fb742a70dff69a5 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 11 Oct 2021 11:04:29 +0200
Subject: [PATCH] cpu_balancer.run: adjust caps for sel4/x86_64

---
 repos/os/run/cpu_balancer.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/cpu_balancer.run b/repos/os/run/cpu_balancer.run
index 0ca78c903e..fb9f0316ba 100644
--- a/repos/os/run/cpu_balancer.run
+++ b/repos/os/run/cpu_balancer.run
@@ -64,7 +64,7 @@ append_if [expr $report_config eq "yes"] config {
 	</start>}
 
 append config {
-	<start name="cpu_balancer">
+	<start name="cpu_balancer" caps="120">
 		<resource name="RAM" quantum="2M"/>
 		<provides>
 			<service name="PD"/>