From 80a15fde30a9fa4865262d95aa7e9c6648bf8381 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 3 Jul 2012 15:29:25 +0200
Subject: [PATCH] NOVA: update NOVA@github revision

Use latest NOVA github revision. Fixes sporadic in-kernel page faults.
---
 base-nova/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-nova/Makefile b/base-nova/Makefile
index db58ac03d..9819f7340 100644
--- a/base-nova/Makefile
+++ b/base-nova/Makefile
@@ -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)