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

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

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

include $(REP_DIR)/lib/mk/spec/arm/syscall-foc.inc
enable i.MX6 Quad Sabrelite board for hw and foc 2019-01-14 14:39:46 +00:00			`L4_CONFIG := $(call select_from_repositories,config/imx6q_sabrelite.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/imx6q_sabrelite-build/bin/arm_armv7a`
enable i.MX6 Quad Sabrelite board for hw and foc 2019-01-14 14:39:46 +00:00
			`include $(REP_DIR)/lib/mk/spec/arm/syscall-foc.inc`