From 5c63f7003e18c67c13ebec23469c667ddd059a13 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Thu, 22 Oct 2015 11:52:44 +0200 Subject: [PATCH] nova: evalute pending irqs si->sm association Fixes ps/2 driver bring-up if already some irqs are pending but not delivered to the Genode signal(Nova semaphore) - reported by @nfeske. Fixes #1779 --- 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 7c2b184951..ddd92f60e9 100644 --- a/repos/base-nova/ports/nova.hash +++ b/repos/base-nova/ports/nova.hash @@ -1 +1 @@ -45d0d8368d87e015ad426e9e0f3b70dee64a0da8 +df82cddefa8f584fe63a015c4dad9f92bdf5ba09 diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port index 2116d53e40..112bf1a925 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) := 44884114e25ff6e730489a034da3278749070931 +REV(nova) := 921fdabbae57e5c5f68cd9eaa0bb8f6382f24262 DIR(nova) := src/kernel/nova PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)