tree c6fcbe8d63c43e5cc9ff2883a0dd710d21a6fdb0
parent 8538799525b71ebac428e28c3997b4facf47eed6
author Jens Wiklander <jens.wiklander@linaro.org> 1575969420 +0100
committer Jérôme Forissier <jerome@forissier.org> 1575998300 +0100

core: fix generation of tee.bin

Prior to this patch generation of tee.bin (CFG_WITH_PAGER=n) fails with:
  GEN     out/core/tee.bin
Cannot find symbol __init_end
core/arch/arm/kernel/link.mk:183: recipe for target 'out/core/tee.bin' failed

Introduce a special __get_tee_init_end to fix this and also avoid
confusion with __init_end used in the code for the pager case.

Fixes: 5dd1570ac5b0 ("core: add embedded data region")
Acked-by: Jerome Forissier <jerome@forissier.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>