os: avoid deadlock in packet stream (fix #1186)

Respectively resend a packet-stream-not-empty signal when a new signal handler
gets registered.
This commit is contained in:
Stefan Kalkowski
2014-06-18 15:04:30 +02:00
committed by Norman Feske
parent 6e993d31d4
commit 42397cb512
3 changed files with 25 additions and 0 deletions

View File

@@ -132,6 +132,13 @@ namespace Genode {
*/
void context(Signal_context_capability context);
/**
* Return signal context
*/
Signal_context_capability context();
/**
* Trigger signal submission to context
*