From ca727ea3d9850e822732b17267a43e0d5c6a5be9 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Thu, 4 Oct 2018 10:43:39 +0200 Subject: [PATCH] nova: update to latest r10 branch - which avoids some false postive overmap mappings - and contains more accurate kernel memory accounting. Fixes #3009 --- 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 8ec34e1b61..4502e78f87 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -95f7056d34c5d48ef9dfbf67f5053fd0486e47b8 +6f1ccc8c9e1a2fe3a774f76193979dc23f23abe9 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index bee0799c25..ecb9be5c50 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) := b156131007c928e2968fc5e551cea402c1886919 +REV(nova) := 799569da2097aa17e8ba750ac2218d1a466cd8b8 DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))