From 7501910c998ab7ae400c8a684af79ad742a433b4 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 29 Jun 2016 16:23:52 +0200
Subject: [PATCH] sel4: implement ipc_reply

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

diff --git a/repos/base-sel4/src/lib/base/ipc.cc b/repos/base-sel4/src/lib/base/ipc.cc
index 7ce23cd503..11d13b0089 100644
--- a/repos/base-sel4/src/lib/base/ipc.cc
+++ b/repos/base-sel4/src/lib/base/ipc.cc
@@ -299,7 +299,11 @@ Rpc_exception_code Genode::ipc_call(Native_capability dst,
 void Genode::ipc_reply(Native_capability caller, Rpc_exception_code exc,
                        Msgbuf_base &snd_msg)
 {
-	ASSERT(false);
+	/* called when entrypoint thread leaves entry loop and exits */
+	seL4_MessageInfo_t const reply_msg_info = new_seL4_message(snd_msg);
+	seL4_SetMR(MR_IDX_EXC_CODE, exc.value);
+
+	seL4_Reply(reply_msg_info);
 }