Files
genode/repos/base/include/base
Christian Helmuth e63c5e6c69 base: rework interplay of signal-proxy and entrypoint
The former scheme left open a race window between
_process_incoming_signals() and wait_and_dispatch_one_io_signal()
resulting in both threads calling block_for_signal() and blocking
forever with one unprocessed signal.

Fixes #3704
2020-04-17 12:39:32 +02:00
..
2019-02-26 14:44:15 +01:00
2019-02-26 14:44:15 +01:00
2020-02-04 15:51:08 +01:00
2019-02-26 14:44:15 +01:00
2020-02-20 12:11:22 +01:00
2019-07-09 08:55:23 +02:00
2020-02-20 12:11:22 +01:00
2020-02-20 12:11:22 +01:00
2019-02-26 14:44:15 +01:00
2019-02-26 14:44:15 +01:00
2019-02-26 14:44:15 +01:00
2019-02-26 14:44:15 +01:00
2019-02-26 14:44:15 +01:00
2019-02-26 14:44:15 +01:00
2020-02-20 12:11:22 +01:00
2019-02-26 14:44:15 +01:00