From 57e2f3affc61f2f49ad3695db3b4fd5d4d700426 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Mon, 22 Jun 2015 14:04:28 +0200
Subject: [PATCH] hw: remove redundant file from signal library

The file seems to be there for historical reasons only.

Ref #956
---
 repos/base-hw/lib/mk/base-common.inc      |  2 +-
 repos/base-hw/src/base/signal/platform.cc | 32 -----------------------
 repos/base-hw/src/base/signal/signal.cc   |  9 +++++++
 3 files changed, 10 insertions(+), 33 deletions(-)
 delete mode 100644 repos/base-hw/src/base/signal/platform.cc

diff --git a/repos/base-hw/lib/mk/base-common.inc b/repos/base-hw/lib/mk/base-common.inc
index 250da6d98..59b16c09c 100644
--- a/repos/base-hw/lib/mk/base-common.inc
+++ b/repos/base-hw/lib/mk/base-common.inc
@@ -20,9 +20,9 @@ SRC_CC += process/process.cc
 SRC_CC += elf/elf_binary.cc
 SRC_CC += console/console.cc
 SRC_CC += lock/lock.cc
-SRC_CC += signal/signal.cc signal/common.cc signal/platform.cc
 SRC_CC += server/server.cc
 SRC_CC += server/common.cc
+SRC_CC += signal/common.cc signal/signal.cc
 SRC_CC += thread/thread.cc
 SRC_CC += thread/myself.cc
 SRC_CC += thread/bootstrap.cc
diff --git a/repos/base-hw/src/base/signal/platform.cc b/repos/base-hw/src/base/signal/platform.cc
deleted file mode 100644
index 1fdcfdd9b..000000000
--- a/repos/base-hw/src/base/signal/platform.cc
+++ /dev/null
@@ -1,32 +0,0 @@
-/*
- * \brief  Implementations of the signaling framework specific for HW-core
- * \author Martin Stein
- * \date   2012-05-05
- */
-
-/*
- * Copyright (C) 2012-2015 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.
- */
-
-
-/* Genode includes */
-#include <signal_session/connection.h>
-
-/* base-hw includes */
-#include <kernel/interface.h>
-
-using namespace Genode;
-
-/************************
- ** Signal transmitter **
- ************************/
-void Signal_transmitter::submit(unsigned cnt)
-{
-	{
-		Trace::Signal_submit trace_event(cnt);
-	}
-	Kernel::submit_signal(_context.dst(), cnt);
-}
diff --git a/repos/base-hw/src/base/signal/signal.cc b/repos/base-hw/src/base/signal/signal.cc
index cc76ddaa9..fcaf3621a 100644
--- a/repos/base-hw/src/base/signal/signal.cc
+++ b/repos/base-hw/src/base/signal/signal.cc
@@ -82,6 +82,15 @@ void Signal_context::submit(unsigned num)
 Signal_connection * Signal_transmitter::connection() { return signal_connection(); }
 
 
+void Signal_transmitter::submit(unsigned cnt)
+{
+	{
+		Trace::Signal_submit trace_event(cnt);
+	}
+	Kernel::submit_signal(_context.dst(), cnt);
+}
+
+
 /*********************
  ** Signal_receiver **
  *********************/