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

NOVA: initialize segment and flag registers of local ECs

Browse Source 
Make sure that the segment and flag registers of local ECs are initialized
after recall by initializing them at EC creation time.

Fixes #2000
This commit is contained in:
Christian Prochaska
2016-06-06 14:55:58 +02:00
committed by Christian Helmuth
parent d7ddc83fa9
commit 71183783a2
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1 +1 @@
4798a5d458701c1e4b3dcad356900b22448ee9e8
fa2dbae3ee245b2deddfbde7473481d24e998ba5

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) := a1dc2f7592aded687a17e089ba281f7e444f3100
REV(nova) := db9bd2dada63382b761d169651ff7e2f75df3eaa
DIR(nova) := src/kernel/nova
PATCHES := $(wildcard $(REP_DIR)/patches/*.patch)