From a147bdf406ffa6c7fb186be6c07320f4feb93c99 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 5 Apr 2019 14:11:55 +0200
Subject: [PATCH] hw: silent warning about unknown signal context

Triggering of an invalidated signal seems to be no real exception,
but something that occurs regularily. Therefore, the kernel warning
is of no use to developers anymore.

Ref #3277
---
 repos/base-hw/src/core/kernel/thread.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-hw/src/core/kernel/thread.cc b/repos/base-hw/src/core/kernel/thread.cc
index 599d59cb01..cdfe0b20e6 100644
--- a/repos/base-hw/src/core/kernel/thread.cc
+++ b/repos/base-hw/src/core/kernel/thread.cc
@@ -515,7 +515,7 @@ void Thread::_call_submit_signal()
 	/* lookup signal context */
 	Signal_context * const c = pd().cap_tree().find<Signal_context>(user_arg_1());
 	if(!c) {
-		Genode::raw(*this, ": cannot submit unknown signal context");
+		/* cannot submit unknown signal context */
 		user_arg_0(-1);
 		return;
 	}