diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash
index 96a5286e98..79c825a918 100644
--- a/repos/base-nova/ports/nova.hash
+++ b/repos/base-nova/ports/nova.hash
@@ -1 +1 @@
-d850a1b6412ce630abedf7b9aa623b5caa994235
+52fcb4b19aa032eaba5484a69c3c4c491c2a6915
diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port
index c46b0978e5..736bd5faf0 100644
--- a/repos/base-nova/ports/nova.port
+++ b/repos/base-nova/ports/nova.port
@@ -4,7 +4,7 @@ DOWNLOADS := nova.git
 
 # feature/numa branch
 URL(nova) := https://github.com/mmueller41/NOVA.git
-REV(nova) := 6479677bd61db47bcdcb4bd796566f83b9f655ef
+REV(nova) := 4707840843206d63f72ba9238756355d16b52be3
 DIR(nova) := src/kernel/nova
 
 PATCHES   := $(sort $(wildcard $(REP_DIR)/patches/*.patch))