mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-14 16:26:30 +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