From 675aa2cd2f38727c76232c8dcd04e6a266677755 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 20 Nov 2017 23:29:43 +0100
Subject: [PATCH] okl4: leverage complete virtual address space

Issue #2547
---
 repos/base-okl4/src/core/platform.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-okl4/src/core/platform.cc b/repos/base-okl4/src/core/platform.cc
index 7cb417285..c10cb1d92 100644
--- a/repos/base-okl4/src/core/platform.cc
+++ b/repos/base-okl4/src/core/platform.cc
@@ -164,7 +164,7 @@ Platform::Platform() :
 	                                           stack_area_virtual_size());
 
 	_vm_start = 0x1000;
-	_vm_size  = 0xb0000000 - 0x1000;
+	_vm_size  = 0xc0000000 - _vm_start;
 
 	log(_rom_fs);