From 8738673625ae5bb6c7a3c3aec77abf57229a787f Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Tue, 28 Oct 2014 14:21:44 +0100
Subject: [PATCH] base-codezero: Add dummy functions to syscall library

Issue #1280
---
 repos/base-codezero/lib/mk/l4.inc           |  8 +++++++-
 repos/base-codezero/src/lib/syscall/dummy.c | 22 +++++++++++++++++++++
 2 files changed, 29 insertions(+), 1 deletion(-)
 create mode 100644 repos/base-codezero/src/lib/syscall/dummy.c

diff --git a/repos/base-codezero/lib/mk/l4.inc b/repos/base-codezero/lib/mk/l4.inc
index 521519fe5..4e6f668d0 100644
--- a/repos/base-codezero/lib/mk/l4.inc
+++ b/repos/base-codezero/lib/mk/l4.inc
@@ -7,11 +7,17 @@ SRC_C += $(addprefix lib/,addr.c bit.c idpool.c)
 SRC_C += $(addprefix lib/thread/,init.c thread.c)
 SRC_C += $(addprefix lib/cap/,cap.c read.c)
 
+#
+# Dummies
+#
+SRC_C += dummy.c
+
 INC_DIR += $(CODEZERO_DIR)/conts/userlibs/libc/include
 INC_DIR += $(CODEZERO_DIR)/conts/userlibs/libmem/include
 INC_DIR += $(CODEZERO_DIR)/conts/userlibs/libmem
 
-vpath % $(LIBL4_DIR)/src
+vpath %   $(LIBL4_DIR)/src
+vpath %.c $(REP_DIR)/src/lib/syscall
 
 #
 # The libl4 source files uses macros defined in macros.h but do not
diff --git a/repos/base-codezero/src/lib/syscall/dummy.c b/repos/base-codezero/src/lib/syscall/dummy.c
new file mode 100644
index 000000000..d06ac5aa7
--- /dev/null
+++ b/repos/base-codezero/src/lib/syscall/dummy.c
@@ -0,0 +1,22 @@
+/*
+ * \brief  Dummies for Codezeros libmem (used by libl4)
+ * \author Sebastian Sumpf
+ * \date   2011-05-10
+ */
+
+/*
+ * Copyright (C) 2011-2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
+void *mem_cache_zalloc(void *cache){ return 0; }
+void *mem_cache_alloc(void *cache){ return 0; }
+void *mem_cache_init(void *start, int cache_size, int struct_size,
+                     unsigned int alignment) { return 0; }
+int mem_cache_free(void *cache, void *addr) { return 0; }
+
+void *kmalloc(int size) { return 0; }
+
+