Norman Feske af146e7dcd Remove base/timed_semaphore.h from API ... 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		2019-01-30 13:35:29 +01:00
..
env.h	Remove base/timed_semaphore.h from API	2019-01-30 13:35:29 +01:00
timed_semaphore.h	Remove base/timed_semaphore.h from API	2019-01-30 13:35:29 +01:00