Searched hist:"55 c1b9479857869599b19f3442c5130f6d14e6ae" (Results 1 – 2 of 2) sorted by relevance
| /optee_os/scripts/ |
| H A D | gen_tee_bin.py | 55c1b9479857869599b19f3442c5130f6d14e6ae Tue Dec 10 09:17:00 UTC 2019 Jens Wiklander <jens.wiklander@linaro.org> 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>
|
| /optee_os/core/arch/arm/kernel/ |
| H A D | kern.ld.S | 55c1b9479857869599b19f3442c5130f6d14e6ae Tue Dec 10 09:17:00 UTC 2019 Jens Wiklander <jens.wiklander@linaro.org> 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>
|