ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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
This commit is contained in:
Alexander Boettcher 2015-10-22 11:52:44 +02:00 committed by Christian Helmuth
parent 74e89727ee
commit 5c63f7003e
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-nova/ports/nova.hash
View File

@ -1 +1 @@
45d0d8368d87e015ad426e9e0f3b70dee64a0da8
df82cddefa8f584fe63a015c4dad9f92bdf5ba09

2
repos/base-nova/ports/nova.port
View File

@ -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)