From 6a1d07de86bb0e935f7d697802ee8ea3a2eb7ab9 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 26 Feb 2014 14:31:32 +0100
Subject: [PATCH] Arora: increase RAM quota for 'testnit'

This patch increases the RAM quota for 'testnit' in the Arora nitpicker
plugin demo.

Fixes #1074.
---
 ports/src/app/arora/demo/nitpicker_plugin/config.plugin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/src/app/arora/demo/nitpicker_plugin/config.plugin b/ports/src/app/arora/demo/nitpicker_plugin/config.plugin
index 182efc62a3..a13b1d44d7 100644
--- a/ports/src/app/arora/demo/nitpicker_plugin/config.plugin
+++ b/ports/src/app/arora/demo/nitpicker_plugin/config.plugin
@@ -30,7 +30,7 @@
 	<start name="launchpad">
 		<resource name="RAM" quantum="1G"/>
 		<config xpos="50" ypos="10" width="400" height="400">
-			<launcher name="testnit" ram_quota="512K" />
+			<launcher name="testnit" ram_quota="768K" />
 			<launcher name="launchpad" ram_quota="6M">
 				<config xpos="90" ypos="50" width="400" height="400">
 					<launcher name="testnit" ram_quota="512K" />