From 3cb7476cb70a748aafa2ed1264b259456b45de54 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 16 Jan 2013 16:51:27 +0100
Subject: [PATCH] Increase quota of d3m

---
 gems/run/d3m_boot.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gems/run/d3m_boot.run b/gems/run/d3m_boot.run
index 4e762d5004..982ce26656 100644
--- a/gems/run/d3m_boot.run
+++ b/gems/run/d3m_boot.run
@@ -66,7 +66,7 @@ set config  {
 		<provides><service name="Timer"/></provides>
 	</start>
 	<start name="d3m">
-		<resource name="RAM" quantum="16M"/>
+		<resource name="RAM" quantum="26M"/>
 		<provides>
 			<service name="Input"/>
 			<service name="Nic"/>