From 705f262eb9facb2b9e33d34bf521c1d402bd8dcb Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Fri, 15 Dec 2023 14:27:57 +0100 Subject: [PATCH] Always use branch tukija for NOVA. --- 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 6f9d8194a4..ecb39db6d6 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -cda426e631c475c21b8ff443bfa01f90f38d95a3 +968b205c5c1b6a93846626cf7307b19eb6bac891 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 0e45bfd9f9..e539d92373 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -4,7 +4,7 @@ DOWNLOADS := nova.git # feature/numa branch URL(nova) := https://github.com/mmueller41/NOVA.git -REV(nova) := 8d024288da12cb3a0366641e62c53876b7d827dd +REV(nova) := tukija DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))