* Genode: add native signal handler * Genode: add scheduleCallbacks to asyncdispatch This resolves some awkwardness where an RPC server may or may not use callSoon while dispatching RPC but without scheduling timers or I/O. |
||
|---|---|---|
| .. | ||
| signals.h | ||
| syslocks.h | ||
| threads.h | ||