diff --git a/repos/base/src/lib/startup/cap_copy.cc b/repos/base/src/lib/startup/cap_copy.cc
deleted file mode 100644
index 421cfed64..000000000
--- a/repos/base/src/lib/startup/cap_copy.cc
+++ /dev/null
@@ -1,20 +0,0 @@
-/*
- * \brief  Copy a platform-capability to another protection domain.
- * \author Stefan Kalkowski
- * \date   2012-03-09
- */
-
-/*
- * Copyright (C) 2012-2017 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU Affero General Public License version 3.
- */
-
-#include <util/string.h>
-#include <base/native_capability.h>
-
-using namespace Genode;
-
-void Cap_dst_policy::copy(void* dst, Native_capability_tpl<Cap_dst_policy>* src) {
-	memcpy(dst, src, sizeof(Native_capability_tpl<Cap_dst_policy>)); }