From 3758cb056d4a0b8ffad80d4ecedd15f0a82c49da Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 17 Mar 2017 22:11:53 +0100
Subject: [PATCH] acpica: increase memory quota for platform session

Fixes #2343
---
 repos/libports/src/lib/acpica/env.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/src/lib/acpica/env.cc b/repos/libports/src/lib/acpica/env.cc
index 7d606564a4..8c9aa7578a 100644
--- a/repos/libports/src/lib/acpica/env.cc
+++ b/repos/libports/src/lib/acpica/env.cc
@@ -38,7 +38,7 @@ struct Acpica::Env
 		Genode::reinterpret_cap_cast<Platform::Session>(
 			env.session(announce_for_acpica,
 			            id_space_element.id(),
-			            "ram_quota=32K", Genode::Affinity())) };
+			            "ram_quota=36K", Genode::Affinity())) };
 
 	Platform::Client platform { cap };