genode/repos/base-foc/lib/mk/spec/imx7d_sabre/syscall-foc.mk

L4_CONFIG := $(call select_from_repositories,config/imx7.user)

L4_BIN_DIR := $(LIB_CACHE_DIR)/syscall-foc/imx7d_sabre-build/bin/arm_armv7a

include $(REP_DIR)/lib/mk/spec/arm/syscall-foc.inc
imx7d_sabre: add board for sel4 and foc Ref #3251 2019-01-21 13:21:19 +00:00			`L4_CONFIG := $(call select_from_repositories,config/imx7.user)`

kernel: differentiate board-specific components Components like kernel, core, and bootstrap that are built for a specific board need to reside inside the same architectural dependent build directory. For instance there are sel4, foc, and hw kernel builds for imx6q_sabrelite and imx7d_sabre, which have to reside inside the same arm_v7 build directory. This commit names those components explicitely, and adapts the run-tool to it. Fix #3316 2019-05-09 12:04:03 +00:00			`L4_BIN_DIR := $(LIB_CACHE_DIR)/syscall-foc/imx7d_sabre-build/bin/arm_armv7a`
imx7d_sabre: add board for sel4 and foc Ref #3251 2019-01-21 13:21:19 +00:00
			`include $(REP_DIR)/lib/mk/spec/arm/syscall-foc.inc`