From 0973215cf09bee26c5c15d53f451171ad1bf032e Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Tue, 6 Mar 2012 11:59:47 +0100
Subject: [PATCH] Adapt memory quota to recent Fiasco.OC changes

When introducing an avl-tree to re-find known capabilities in Fiasco.OC
(issue #112), the memory demand of apllications was slightly increased.
So we've to give the pl11x driver more memory by default. Fixes #140.
---
 ports-foc/run/l4android.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports-foc/run/l4android.run b/ports-foc/run/l4android.run
index 21828d90f6..28947f08a0 100644
--- a/ports-foc/run/l4android.run
+++ b/ports-foc/run/l4android.run
@@ -119,7 +119,7 @@ append_if [have_spec pl180] config {
 append_if [have_spec pl11x] config {
 	<start name="fb_drv">
 		<binary name="pl11x_drv"/>
-		<resource name="RAM" quantum="1M"/>
+		<resource name="RAM" quantum="2M"/>
 		<provides><service name="Framebuffer"/></provides>
 	</start> }