From b8285e34fb2ab3fed133d9c442e2c58e87ca4450 Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Fri, 14 Oct 2022 16:49:48 +0200 Subject: [PATCH] nova: Updated ports file to latest NOVA version. --- repos/base-nova/ports/nova.hash | 2 +- repos/base-nova/ports/nova.port | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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))