diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index 97064557ae..96a5286e98 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -394582c6c97d5f380b58e4cd79d590c0a08bfd3e +d850a1b6412ce630abedf7b9aa623b5caa994235 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 0dc91197a3..5d15c9ba19 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -4,7 +4,7 @@ DOWNLOADS := nova.git # r10 branch URL(nova) := https://github.com/mmueller41/NOVA.git -REV(nova) := 315eca035e7152c072670bba7d6c3910f895fb37 +REV(nova) := 6479677bd61db47bcdcb4bd796566f83b9f655ef DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))