mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 02:28:54 +00:00
64f39c9a42
Do not call 'wait_and_dispatch_one_signal' in storage back end. This causes a race of the EP with the main thread. |
||
---|---|---|
.. | ||
import | ||
mk |