From 0c6548fda0b4883a8bb4a4d144fa97a0d2ea0ae5 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 8 Mar 2019 12:07:08 +0100
Subject: [PATCH] sculpt: increase leitzentrale memory

to avoid hanging popup and warning:

[leitzentrale -> gui] Warning: popup assigned RAM (12M) exceeds available RAM (6596441)

Issue #3218
---
 repos/gems/run/leitzentrale.run           | 2 +-
 repos/gems/run/sculpt/leitzentrale.config | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/gems/run/leitzentrale.run b/repos/gems/run/leitzentrale.run
index fc478c4846..48b91991bd 100644
--- a/repos/gems/run/leitzentrale.run
+++ b/repos/gems/run/leitzentrale.run
@@ -221,7 +221,7 @@ install_config {
 
 	<start name="leitzentrale" caps="4000">
 		<binary name="init"/>
-		<resource name="RAM" quantum="136M"/>
+		<resource name="RAM" quantum="140M"/>
 		<provides> <service name="Nitpicker"/> </provides>
 		<route>
 			<service name="ROM" label="config">
diff --git a/repos/gems/run/sculpt/leitzentrale.config b/repos/gems/run/sculpt/leitzentrale.config
index 4b67a6ad04..f9cbf61de0 100644
--- a/repos/gems/run/sculpt/leitzentrale.config
+++ b/repos/gems/run/sculpt/leitzentrale.config
@@ -217,7 +217,7 @@
 
 			<start name="gui" caps="1400">
 				<binary name="init"/>
-				<resource name="RAM" quantum="20M"/>
+				<resource name="RAM" quantum="28M"/>
 				<route>
 					<service name="ROM" label="config"> <child name="report_rom"/> </service>
 					<service name="ROM" label_last="dialog"> <child name="report_rom"/> </service>