mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 07:22:25 +00:00
af146e7dcd
The former 'Genode::Timed_semaphore' mechanism is moved to the private part of the two remaining users, namely dde_rump and the libc. Note there are now two private copies of 'timed_semaphore.h'. This should be regarded as an interim step until the use of this mechanism is removed from both users. This patch also cleans up the mechanism from legacy Genode API calls and global side effects (alarm-thread singleton). The test/timed_semaphore is now located at the libports repository as it now tests a mechanism of the libc. The former timed_semaphore library is no more. Fixes #3121 |
||
|---|---|---|
| .. | ||
| api | ||
| pkg | ||
| src | ||