From 04aeaa25e57abea83626378aa434f8f931978c78 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 5 May 2020 21:37:18 +0200
Subject: [PATCH] Remove dead code

---
 repos/base/src/lib/startup/cap_copy.cc | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 repos/base/src/lib/startup/cap_copy.cc

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