sel4: block on first call if Ipc_istream::_wait

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

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);
 }