diff --git a/libports/include/lwip/lwipopts.h b/libports/include/lwip/lwipopts.h
index f776ec5f31..d1803c80b0 100644
--- a/libports/include/lwip/lwipopts.h
+++ b/libports/include/lwip/lwipopts.h
@@ -99,6 +99,9 @@
 #define MEMP_NUM_TCP_PCB           128
 #define MEMP_NUM_NETCONN (MEMP_NUM_TCP_PCB + MEMP_NUM_UDP_PCB + MEMP_NUM_RAW_PCB + MEMP_NUM_TCP_PCB_LISTEN - 1)
 
+void genode_memcpy(void * dst, const void *src, unsigned long size);
+#define MEMCPY(dst,src,len)             genode_memcpy(dst,src,len)
+
 /********************
  ** Debug settings **
  ********************/
diff --git a/libports/src/lib/lwip/platform/sys_arch.cc b/libports/src/lib/lwip/platform/sys_arch.cc
index 9e54cd5466..7b0313407f 100644
--- a/libports/src/lib/lwip/platform/sys_arch.cc
+++ b/libports/src/lib/lwip/platform/sys_arch.cc
@@ -629,4 +629,7 @@ extern "C" {
 	}
 #endif
 
+	void genode_memcpy(void * dst, const void *src, unsigned long size) {
+		Genode::memcpy(dst, src, size);
+	}
 } /* extern "C" */