From 059bf1c57659bfc745e5c70978d1e96767c81632 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 17 Jun 2013 11:30:01 +0200
Subject: [PATCH] nova: fix page fault during core bootup

Fixes #781
---
 base-nova/src/core/platform.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-nova/src/core/platform.cc b/base-nova/src/core/platform.cc
index c54578b86a..fa9257dbec 100644
--- a/base-nova/src/core/platform.cc
+++ b/base-nova/src/core/platform.cc
@@ -515,7 +515,7 @@ Platform::Platform() :
 			aux_len = strlen(reinterpret_cast<char const *>(aux)) + 1;
 
 			/* if last page is unused, free it up */
-			if (aux + aux_len <= rom_mem_end) {
+			if (aux + aux_len <= round_page(core_local_addr) + rom_mem_size) {
 				bool overlap = intersects(rom_mem_end,
 				                          (Hip::Mem_desc *)mem_desc_base,
 				                          num_mem_desc);