From b438181188cf839bfc76d3936010b489c391671c Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 26 Aug 2015 16:30:16 +0200
Subject: [PATCH] nova: use updated r9 kernel branch

Fixes a kernel regression (because of using builtin_retrun_address)
introduced by the out-of-memory commits.

Issue #1601
---
 repos/base-nova/ports/nova.hash | 2 +-
 repos/base-nova/ports/nova.port | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/base-nova/ports/nova.hash b/repos/base-nova/ports/nova.hash
index 5def9b9d82..97fc5d0e3c 100644
--- a/repos/base-nova/ports/nova.hash
+++ b/repos/base-nova/ports/nova.hash
@@ -1 +1 @@
-9f2aef990ef7fcf148a53e63ba9bebdb0e3fff10
+361b07cc4c3e43610e1bb772932597d45be69c28
diff --git a/repos/base-nova/ports/nova.port b/repos/base-nova/ports/nova.port
index e1f7ec6a68..87f924fe29 100644
--- a/repos/base-nova/ports/nova.port
+++ b/repos/base-nova/ports/nova.port
@@ -4,7 +4,7 @@ DOWNLOADS := nova.git
 
 # r9 branch
 URL(nova) := https://github.com/alex-ab/NOVA.git
-REV(nova) := 7de4ddd3b7af33affdd8f36aa997b20b52bd2ef6
+REV(nova) := 834519fa28b1f2fc46e3b10746b4838a19470c7a
 DIR(nova) := src/kernel/nova
 
 PATCHES   := $(wildcard $(REP_DIR)/patches/*.patch)