From 0a0a6ef5917bc4e8f135f98640e29254d4c261e7 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 30 Nov 2018 08:11:37 +0100 Subject: [PATCH] nova: de-schedule SCs in destruction earlier Fixes issues detected during destruction in Issue #3041 --- 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 002806ee7..7bc3a1e4f 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -d31259810f0f2b08e41bc9aa89a445ae22794d20 +162a703f246e7be94efd2001d7d7e13148434ad7 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 63d780da9..5f88f82ce 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) := 27a54981ac0baf0e4e048f5d5ad98fe9c605c35a +REV(nova) := c2f95bf30989cbffb89d43c1d1ea8206569ec382 DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))