From b4805af5bce29f708c18c2806536e373c4f41b39 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 22 Feb 2013 14:45:14 +0100
Subject: [PATCH] nova: update kernel revision to r2

Fix #667
---
 base-nova/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-nova/Makefile b/base-nova/Makefile
index 7ecfce362..fdbb0e8cc 100644
--- a/base-nova/Makefile
+++ b/base-nova/Makefile
@@ -9,7 +9,7 @@ VERBOSE     ?= @
 ECHO        = @echo
 GIT_URL     = https://github.com/alex-ab/NOVA.git
 GIT_REV     = HEAD
-GIT_BRANCH  = r1
+GIT_BRANCH  = r2
 CONTRIB_DIR = contrib
 PATCHES     = $(shell find patches -name '*.patch')