From 9bca6bfb0da7003bfe07fd3de8c6fa850c191761 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 27 Nov 2013 14:47:58 +0100
Subject: [PATCH] hw: provide Signal_context::submit

fix #980
---
 base-hw/src/base/signal/signal.cc | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/base-hw/src/base/signal/signal.cc b/base-hw/src/base/signal/signal.cc
index 91e292ed9..e6be8517c 100644
--- a/base-hw/src/base/signal/signal.cc
+++ b/base-hw/src/base/signal/signal.cc
@@ -65,6 +65,16 @@ Signal::Signal(Signal::Data data) : _data(data)
 }
 
 
+/********************
+ ** Signal context **
+ ********************/
+
+void Signal_context::submit(unsigned num)
+{
+	Kernel::submit_signal(_cap.dst(), num);
+}
+
+
 /************************
  ** Signal transmitter **
  ************************/
@@ -191,5 +201,5 @@ Signal Signal_receiver::wait_for_signal()
 
 void Signal_receiver::local_submit(Signal::Data signal)
 {
-	PERR("method not implemented");
+	PERR("not implemented");
 }