From 43f2784564af9a32b71f42fbff49ffdac0aeba83 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 29 Jun 2016 17:04:05 +0200
Subject: [PATCH] sel4: initialize rcv_sel for ep threads

Issue #2044
---
 repos/base-sel4/src/lib/base/ipc.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/base-sel4/src/lib/base/ipc.cc b/repos/base-sel4/src/lib/base/ipc.cc
index af896f30c4..7ce23cd503 100644
--- a/repos/base-sel4/src/lib/base/ipc.cc
+++ b/repos/base-sel4/src/lib/base/ipc.cc
@@ -308,6 +308,9 @@ Genode::Rpc_request Genode::ipc_reply_wait(Reply_capability const &last_caller,
                                            Msgbuf_base            &reply_msg,
                                            Msgbuf_base            &request_msg)
 {
+	if (!rcv_sel())
+		rcv_sel() = Capability_space::alloc_rcv_sel();
+
 	seL4_Word badge = 0;
 
 	if (exc.value == Rpc_exception_code::INVALID_OBJECT) {