From bde7e24820c14e0b68e93f523d021131fed3ad8d Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 30 Oct 2013 09:21:22 +0100
Subject: [PATCH] nova: fix size of virtual address space for 64bit

Fixes #933
---
 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 2917588b75..965780c794 100644
--- a/base-nova/src/core/platform.cc
+++ b/base-nova/src/core/platform.cc
@@ -336,7 +336,7 @@ Platform::Platform() :
 
 	/* configure virtual address spaces */
 #ifdef __x86_64__
-	_vm_size = 0x800000000000UL - _vm_base;
+	_vm_size = 0x7FFFFFFFF000UL - _vm_base;
 #else
 	_vm_size = 0xc0000000UL - _vm_base;
 #endif