From 429d078de7c179ff1e32205a7457e47e877d73c2 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 17 Feb 2022 11:39:13 +0100
Subject: [PATCH] log_core.run: RAM-quota adjustment for sel4

Issue #4400
---
 repos/os/run/log_core.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/log_core.run b/repos/os/run/log_core.run
index 645470d473..6b4340bb0d 100644
--- a/repos/os/run/log_core.run
+++ b/repos/os/run/log_core.run
@@ -45,7 +45,7 @@ append config {
 
 	<start name="file_terminal">
 		<binary name="file_terminal"/>
-		<resource name="RAM" quantum="2096K"/>
+		<resource name="RAM" quantum="3M"/>
 		<provides> <service name="Terminal"/> </provides>
 		<config>
 			<default-policy filename="log" />