From 262f52723bb303135add94630c3db99503282c6c Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 7 May 2015 15:45:07 +0200
Subject: [PATCH] sel4: block on first call if Ipc_istream::_wait

---
 repos/base-sel4/lib/mk/base-common.inc | 2 +-
 repos/base-sel4/src/base/ipc/ipc.cc    | 7 +++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/repos/base-sel4/lib/mk/base-common.inc b/repos/base-sel4/lib/mk/base-common.inc
index 449ff8064..835964939 100644
--- a/repos/base-sel4/lib/mk/base-common.inc
+++ b/repos/base-sel4/lib/mk/base-common.inc
@@ -4,7 +4,7 @@
 # \date   2013-02-14
 #
 
-LIBS += cxx startup
+LIBS += cxx startup syscall
 
 SRC_CC += ipc/ipc.cc ipc/pager.cc
 SRC_CC += avl_tree/avl_tree.cc
diff --git a/repos/base-sel4/src/base/ipc/ipc.cc b/repos/base-sel4/src/base/ipc/ipc.cc
index dbf13d4e3..cbeaaa95f 100644
--- a/repos/base-sel4/src/base/ipc/ipc.cc
+++ b/repos/base-sel4/src/base/ipc/ipc.cc
@@ -17,6 +17,9 @@
 #include <base/blocking.h>
 #include <util/misc_math.h>
 
+/* seL4 includes */
+#include <sel4/interfaces/sel4_client.h>
+
 using namespace Genode;
 
 
@@ -66,6 +69,10 @@ void Ipc_istream::_wait()
 {
 	PDBG("not implemented");
 
+	for (;;)
+		seL4_Yield();
+
+
 	_read_offset = sizeof(umword_t);
 }