From c0e88ec69eb8a35b29c793eccb2d23788d8d9e96 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 6 Oct 2015 13:59:28 +0200 Subject: [PATCH] nova: adjust kernel quota calculation Too less memory quota for a PD may be calculated, which leads to too early punishment for a Genode process. Discovered during Turmvilla scenario #1552 and issue #1733. --- 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 e88b2a2818..52be790457 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -1604ba3e775fdf46c51dbc074a35b5918aef3075 +3a12394d16e4cf40f93b5fdcab8798b66dcb51e0 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index bf470a338a..7fae945147 100644 --- a/repos/base-nova/ports/nova.port +++ b/repos/base-nova/ports/nova.port @@ -4,7 +4,7 @@ DOWNLOADS := nova.git # r9 branch URL(nova) := https://github.com/alex-ab/NOVA.git -REV(nova) := acacde27eecbe3708a4caa6f8af781462f3f4776 +REV(nova) := 153d91d78655ad742a1119efa183aca32f728817 DIR(nova) := src/kernel/nova PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)