mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
439315d918
Without the patch the signal cap was ever transferred to the timer session when a usleep/msleep was called, even when unneeded. On base-nova this causes the allocation of new capability indexes which are not freed up. So the timer service run quickly out of indexes and get out of order... Related to issue #1