genode/repos/base-hw/lib/mk/spec/arm_64/syscall-hw.mk

SRC_CC += kernel/interface.cc

vpath kernel/interface.cc $(call select_from_repositories,src/lib/base/arm_64)
hw: support for ARM64 Raspberry Pi 3 Restriction: enables only cpu core 0 and the timer interrupt by now. Fix #3405 2019-05-21 14:27:37 +00:00			`SRC_CC += kernel/interface.cc`

base-hw: simplify board support in external repo Avoid use of REP_DIR in *.mk files to simplify the use of these files as templates for a board hosted in a separate repository. Use REP_INC_DIR for searching headers, thereby considering headers hosted in an external repository. Issue #3168 2021-01-18 16:55:51 +00:00			`vpath kernel/interface.cc $(call select_from_repositories,src/lib/base/arm_64)`