genode/repos/base/lib/mk/timeout-arm.mk

SRC_CC += timeout.cc
SRC_CC += timer_connection.cc
SRC_CC += arm/timer_connection_time.cc
SRC_CC += duration.cc

REP_INC_DIR += src/include

vpath % $(call select_from_repositories,src/lib/timeout)
timer connection: no interpolation on arm w/o hw On ARM, we do not have a component-local hardware time-source. The ARM performance counter has no reliable frequency as the ARM idle command halts the counter. Thus, we do not do local time interpolation on ARM. Except we're on the HW kernel. In this case we can read out the kernel time instead. Ref #2435 2017-05-31 15:24:56 +02:00			`SRC_CC += timeout.cc`
			`SRC_CC += timer_connection.cc`
			`SRC_CC += arm/timer_connection_time.cc`
			`SRC_CC += duration.cc`

base-hw: problems with timeout lib in src recipe This commit fixes two issues with the timeout lib and the base-hw src recipe: * Add source files of timeout lib to recipe content. The files weren't copied to the depot until now. However, the archive nonetheless built successfully because of the second issue that is described below. * Get rid of the usage of the BASE_DIR variable in the timeout lib. The BASE_DIR variable always resolves to the repos/base directory even when building in a depot. That said, the use of BASE_DIR in make-files that are not part of the build system itself must be avoided. Instead, REP_DIR, REP_INC_DIR, and $(call select_from_repositories, ...) should be used. Ref #4209 2022-09-20 12:23:46 +02:00			`REP_INC_DIR += src/include`
timer connection: no interpolation on arm w/o hw On ARM, we do not have a component-local hardware time-source. The ARM performance counter has no reliable frequency as the ARM idle command halts the counter. Thus, we do not do local time interpolation on ARM. Except we're on the HW kernel. In this case we can read out the kernel time instead. Ref #2435 2017-05-31 15:24:56 +02:00
base-hw: problems with timeout lib in src recipe This commit fixes two issues with the timeout lib and the base-hw src recipe: * Add source files of timeout lib to recipe content. The files weren't copied to the depot until now. However, the archive nonetheless built successfully because of the second issue that is described below. * Get rid of the usage of the BASE_DIR variable in the timeout lib. The BASE_DIR variable always resolves to the repos/base directory even when building in a depot. That said, the use of BASE_DIR in make-files that are not part of the build system itself must be avoided. Instead, REP_DIR, REP_INC_DIR, and $(call select_from_repositories, ...) should be used. Ref #4209 2022-09-20 12:23:46 +02:00			`vpath % $(call select_from_repositories,src/lib/timeout)`