mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
a15c894385
The change of the queue size from 16 to 32 has negligible costs (4 KiB instead of 2 KiB for the packet-stream queues) while facilitating the batching of many small consecutive write operations. Issue #4697