From 26796c8f7ad9f245a3ddda3ebf03a9dbbf905f14 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 9 Apr 2019 10:17:35 +0200 Subject: [PATCH] nova: update kernel branch - sorting of initializer by Christian Prochaska - issue #3253 - leak of FPU register state reported by Julian Stecklina - thanks ! - fix page table synchronization bug - by Julian Stecklina - add a second dynamic buddy if the memory requirements could not be fulfilled by the first dynamic buddy - disable vtlb peek if EPT/NPT is enabled --- 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 4b20e84485..f90e4fc8c2 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -fbcb216e5fcf0efd73751285110086665d6629cd +82de2badb4ce1466db3d90ad5da41153134e15ea diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 177c245ca2..8af975ad91 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) := 6c078ffa8bbeb90dac0a098b6c064c00d2faebbd +REV(nova) := eef83cd3f7a25555e0fb8e29950a0ae436b7bc1c DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))