mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-10 21:21:26 +00:00
This commit improves the performance of the pipe plugin by using local signal handling and avoiding sending a signal during write when pipe buffer is full. Issue #3583