From 1e04836a6d987d4338bdbc63e78e76ef611a92bc Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 7 Nov 2017 08:53:55 +0100 Subject: [PATCH] nova: read out tsc freq of some more Intel CPUs instead of measuring the frequency. Avoids inaccuracy which leads to failing tests on Genode regarding timing. Fixes #2566 --- 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 01f3a3b144..4d99f42fe3 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -beda4ca63712ef3aa5f6ea93d40f5fd7987e52be +9ce0213338f9a622cc9a3321760bee3145833493 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 5cde8c6f35..c956de2e02 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -4,7 +4,7 @@ DOWNLOADS := nova.git # r9 branch - use r9_debug for more verbose kernel messages URL(nova) := https://github.com/alex-ab/NOVA.git -REV(nova) := 79b73ffef40009c384c542c9033d737408c4b1df +REV(nova) := 63cbd3df2e6350a1dc19ccb7b78fd76ce02827a6 DIR(nova) := src/kernel/nova PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))