| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Genode: add scheduleCallbacks to asyncdispatch (#20708) | ehmry | 2022-10-31 | 1 | -0/+22 |
| * 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. | |||||