From 0c8b996fa451094c5b1052d61b7f807fa6cc077b Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 5 Mar 2013 11:47:24 +0100
Subject: [PATCH] base: calculate initial junk based on 32/64 host

Issue #666
---
 base/src/base/env/platform_env.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base/src/base/env/platform_env.h b/base/src/base/env/platform_env.h
index 0130cbf2b0..e2c07c4bb8 100644
--- a/base/src/base/env/platform_env.h
+++ b/base/src/base/env/platform_env.h
@@ -187,7 +187,7 @@ namespace Genode {
 			Resources _resources;
 			Heap      _heap;
 
-			char _initial_junk[4 * 4096];
+			char _initial_junk[sizeof(addr_t) * 4096];
 
 		public: