common: add OP-TEE OS image v2 defines
Adds OPTEE_OS_HEADER_V2_BIN, OPTEE_OS_PAGER_V2_BIN and
OPTEE_OS_PAGEABLE_V2_BIN which are used instead of OPTEE_OS_BIN when
using upstream ARM-TF image 2 loading.
Acked-by: Victor Chong <victor.chong@linaro.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
diff --git a/common.mk b/common.mk
index 0b9d181..13e88dc 100644
--- a/common.mk
+++ b/common.mk
@@ -76,6 +76,9 @@
ifneq ($(COMPILE_S_KERNEL),)
OPTEE_OS_COMMON_EXTRA_FLAGS ?= O=out/arm
OPTEE_OS_BIN ?= $(OPTEE_OS_PATH)/out/arm/core/tee.bin
+OPTEE_OS_HEADER_V2_BIN ?= $(OPTEE_OS_PATH)/out/arm/core/tee-header_v2.bin
+OPTEE_OS_PAGER_V2_BIN ?= $(OPTEE_OS_PATH)/out/arm/core/tee-pager_v2.bin
+OPTEE_OS_PAGEABLE_V2_BIN ?= $(OPTEE_OS_PATH)/out/arm/core/tee-pageable_v2.bin
ifeq ($(COMPILE_S_USER),)
$(error COMPILE_S_USER must be defined as COMPILE_S_KERNEL=$(COMPILE_S_KERNEL) is defined)
endif