| commit | 55c1b9479857869599b19f3442c5130f6d14e6ae | [log] [tgz] |
|---|---|---|
| author | Jens Wiklander <jens.wiklander@linaro.org> | Tue Dec 10 10:17:00 2019 +0100 |
| committer | Jérôme Forissier <jerome@forissier.org> | Tue Dec 10 18:18:20 2019 +0100 |
| tree | c6fcbe8d63c43e5cc9ff2883a0dd710d21a6fdb0 | |
| parent | 8538799525b71ebac428e28c3997b4facf47eed6 [diff] |
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>
This git contains source code for the secure side implementation of OP-TEE project.
All official OP-TEE documentation has moved to http://optee.readthedocs.io.
// OP-TEE core maintainers