timed_semaphore: fix deprecated warning

Fixes #2429
This commit is contained in:
Christian Prochaska
2017-05-23 15:10:20 +02:00
committed by Christian Helmuth
parent a507928cde
commit 16deaa9a72
3 changed files with 12 additions and 1 deletions

View File

@ -19,6 +19,7 @@
#include <util/string.h>
#include <base/thread.h>
#include <base/heap.h>
#include <os/timed_semaphore.h>
/* base-internal includes */
#include <base/internal/unmanaged_singleton.h>
@ -679,6 +680,9 @@ void Component::construct(Genode::Env &env)
Link_map::dump();
/* FIXME: remove 'Timeout_thread' from the base library */
Timeout_thread::env(env);
binary_ready_hook_for_gdb();
/* start binary */