diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index 9bae98c7d4..46a6f952b7 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -7208e091c7694c61247427715d0abef7ba8d78e3 +36430efef054479ea2cc06f2052a85a09e9bf232 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 7ef5b271c8..326e83d686 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) := 1c6acf0af8256036cdea023576e2cb0e30e7d69c +REV(nova) := d7804f2125ad9ba1b86ad983261f72bdc1c0cfe7 DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))