diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash
index bf8d5f7d78..97064557ae 100644
--- a/repos/base-nova/ports/nova.hash
+++ b/repos/base-nova/ports/nova.hash
@@ -1 +1 @@
-33a2fa953ec52b0f63b921f4d33d68891c0aada0
+394582c6c97d5f380b58e4cd79d590c0a08bfd3e
diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port
index 90f33a67b9..0dc91197a3 100644
--- a/repos/base-nova/ports/nova.port
+++ b/repos/base-nova/ports/nova.port
@@ -3,8 +3,8 @@ VERSION   := git
 DOWNLOADS := nova.git
 
 # r10 branch
-URL(nova) := https://github.com/alex-ab/NOVA.git
-REV(nova) := 00dc49bc18e7f72a9c85487e8f94fd859511d89d
+URL(nova) := https://github.com/mmueller41/NOVA.git
+REV(nova) := 315eca035e7152c072670bba7d6c3910f895fb37
 DIR(nova) := src/kernel/nova
 
 PATCHES   := $(sort $(wildcard $(REP_DIR)/patches/*.patch))