diff --git a/repos/base-hw/lib/mk/base-common.inc b/repos/base-hw/lib/mk/base-common.inc
index 250da6d98a..59b16c09ce 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 1fdcfdd9b6..0000000000
--- 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 cc76ddaa9f..fcaf3621a8 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 **
  *********************/