diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index 6f9d8194a4..ecb39db6d6 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -cda426e631c475c21b8ff443bfa01f90f38d95a3 +968b205c5c1b6a93846626cf7307b19eb6bac891 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 0e45bfd9f9..e539d92373 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) := 8d024288da12cb3a0366641e62c53876b7d827dd +REV(nova) := tukija DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))