diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash index 960bd4d84..b5dc9ce17 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -6425874c3de23cd3cd5ab08a9273b60aebbd1b80 +7b061888d5ff7417ee1f24eab2d06136e83d720d diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 4cc00b035..76b266135 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -4,7 +4,7 @@ DOWNLOADS := nova.git URL(nova) := https://github.com/alex-ab/NOVA.git # r8 branch -REV(nova) := d82533c18bdae96c036c900c7adf431ec7efc377 +REV(nova) := 27392e1d28c5a4550f71ddda449779e071e86546 DIR(nova) := src/kernel/nova PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)