diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index 4502e78f87..002806ee71 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -6f1ccc8c9e1a2fe3a774f76193979dc23f23abe9 +d31259810f0f2b08e41bc9aa89a445ae22794d20 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index ecb9be5c50..63d780da98 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/alex-ab/NOVA.git -REV(nova) := 799569da2097aa17e8ba750ac2218d1a466cd8b8 +REV(nova) := 27a54981ac0baf0e4e048f5d5ad98fe9c605c35a DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))