denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

nova: fix page fault during core bootup

Browse Source 
Fixes #781
This commit is contained in:
Alexander Boettcher
2013-06-17 11:30:01 +02:00
committed by Norman Feske
parent a73dc1b581
commit 059bf1c576
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
base-nova/src/core/platform.cc
View File

@@ -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);