mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-25 16:31:06 +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 |
||
|---|---|---|
| .. | ||
| spec | ||
| alarm.mk | ||
| base-common.inc | ||
| base.inc | ||
| base.mk | ||
| cxx.mk | ||
| ld-platform.inc | ||
| ld.mk | ||
| ldso-startup.mk | ||
| README | ||
| startup.inc | ||
| timeout-arm.mk | ||
| timeout.mk | ||
This directory contains library description files. Each '<libname>.mk' file holds the instruction for building the library '<libname>'. These makefiles are never used directly but they are called from the build system when required. When called, the build system passes the following variables: :'BASE_DIR': This is the base directory of the source tree. Source codes are specified by setting the 'SRC_CC' and 'SRC_C' variables. The source code locations must be specified via 'vpath'. A library can include other libraries by setting the 'LIBS' variable. Each '<libname>.mk' file must include the 'lib.mk' role file: ! include $(BASE_DIR)/mk/lib.mk Libraries implementing one and the same library interface may have specific implementations for different platforms. Such platform-specific '<libname>.mk' files should be placed into corresponding subdirectories. For example, the 'linux'-specific implementation of the 'server' library resides in the 'linux/' subdirectory. The build system automatically searches the right '<libname>.mk' file by evaluating the 'SPECS' configuration variable. If 'SPECS' is set to 'host linux', the build system will look into the directories './', './host', and './linux'.