From cb0546aa9bb0fa01dc4fbc1f6c4570a005e1a9cf Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <johannes.schlatow@genode-labs.com>
Date: Fri, 5 May 2023 08:18:36 +0200
Subject: [PATCH] os: increase platform_session quota

---
 repos/os/include/platform_session/connection.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/include/platform_session/connection.h b/repos/os/include/platform_session/connection.h
index c59564299d..4472673a50 100644
--- a/repos/os/include/platform_session/connection.h
+++ b/repos/os/include/platform_session/connection.h
@@ -72,7 +72,7 @@ class Platform::Connection : public Genode::Connection<Session>,
 
 		Connection(Env &env)
 		:
-			Genode::Connection<Session>(env, Label(), Ram_quota { 32*1024 }, Args()),
+			Genode::Connection<Session>(env, Label(), Ram_quota { 56*1024 }, Args()),
 			Client(cap()),
 			_env(env)
 		{