NOVA: update NOVA@github revision

Use latest NOVA github revision. Fixes sporadic in-kernel page faults.
This commit is contained in:
Alexander Boettcher 2012-07-03 15:29:25 +02:00 committed by Norman Feske
parent 4ece3b3c77
commit 80a15fde30

View File

@ -8,7 +8,7 @@
VERBOSE ?= @
ECHO = @echo
GIT_URL = git://github.com/IntelLabs/NOVA.git
GIT_REV = f6bad89f2df036c9ee75699c2138586e28c711a0
GIT_REV = 37569cd43f82bb54f9e621163c4b0eb662bd1a51
CONTRIB_DIR = contrib
PATCHES = $(shell find patches -name *.patch)