diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index 4b20e84485..f90e4fc8c2 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -fbcb216e5fcf0efd73751285110086665d6629cd +82de2badb4ce1466db3d90ad5da41153134e15ea diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 177c245ca2..8af975ad91 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) := 6c078ffa8bbeb90dac0a098b6c064c00d2faebbd +REV(nova) := eef83cd3f7a25555e0fb8e29950a0ae436b7bc1c DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))