From 6d0936ca9870189c8486ec8c5887ebf4792fd14d Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 19 Oct 2015 20:07:56 +0200
Subject: [PATCH] okl4: increase available physical memory

required by noux_tool_chain_auto
---
 tool/run/boot_dir/okl4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/run/boot_dir/okl4 b/tool/run/boot_dir/okl4
index e24789d19..41d1063f2 100644
--- a/tool/run/boot_dir/okl4
+++ b/tool/run/boot_dir/okl4
@@ -57,7 +57,7 @@ set weaver_xml_template {
 			<region base="0x100000" size="0x1800000" type="dedicated" />
 		</physical_memory>
 		<physical_memory name="physical">
-			<region base="0x2000000" size="0x1d000000" type="conventional" />
+			<region base="0x2000000" size="0x30000000" type="conventional" />
 		</physical_memory>
 		<phys_device name="timer_dev">
 			<interrupt name="int_timer0" number="0" />