genode/repos/os/lib/mk/timed_semaphore.mk