diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash
index 4b3dbbe3d..57832914f 100644
--- a/repos/base-nova/ports/nova.hash
+++ b/repos/base-nova/ports/nova.hash
@@ -1 +1 @@
-c06bcf2e1978d969d7363bb5802fc80aa5bb30ca
+c813250e77060c9831f8752d86e7653793e4722b
diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port
index db375c34a..d1e595c28 100644
--- a/repos/base-nova/ports/nova.port
+++ b/repos/base-nova/ports/nova.port
@@ -4,7 +4,7 @@ DOWNLOADS := nova.git
 
 # r9 branch - use r9_debug for more verbose kernel messages
 URL(nova) := https://github.com/alex-ab/NOVA.git
-REV(nova) := 1fe5ac3e72ded82035a01ba2e71a3b24a85154a7
+REV(nova) := 84ce824948ba77f465b92a3f50a23fad46853cc0
 DIR(nova) := src/kernel/nova
 
 PATCHES   := $(wildcard $(REP_DIR)/patches/*.patch)
diff --git a/repos/base-nova/src/core/platform.cc b/repos/base-nova/src/core/platform.cc
index b1a4ff02d..808119b23 100644
--- a/repos/base-nova/src/core/platform.cc
+++ b/repos/base-nova/src/core/platform.cc
@@ -355,7 +355,7 @@ Platform::Platform() :
 
 	/* configure virtual address spaces */
 #ifdef __x86_64__
-	_vm_size = 0x7FFFFFFFF000UL - _vm_base;
+	_vm_size = 0x7fffc0000000UL - _vm_base;
 #else
 	_vm_size = 0xc0000000UL - _vm_base;
 #endif
diff --git a/repos/ports/src/app/seoul/spec/64bit/target.mk b/repos/ports/src/app/seoul/spec/64bit/target.mk
index 5ca460ebd..035810600 100644
--- a/repos/ports/src/app/seoul/spec/64bit/target.mk
+++ b/repos/ports/src/app/seoul/spec/64bit/target.mk
@@ -1,5 +1,5 @@
 REQUIRES = 64bit
 
-LD_TEXT_ADDR = 0x7fffff800000
+LD_TEXT_ADDR = 0x7fffbf800000
 
 include $(REP_DIR)/src/app/seoul/target.inc