diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index 79c825a918..6f9d8194a4 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -52fcb4b19aa032eaba5484a69c3c4c491c2a6915 +cda426e631c475c21b8ff443bfa01f90f38d95a3 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 736bd5faf0..0e45bfd9f9 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) := 4707840843206d63f72ba9238756355d16b52be3 +REV(nova) := 8d024288da12cb3a0366641e62c53876b7d827dd DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))