1include core/arch/arm/kernel/link.mk 2 3# Create stm32 formatted images from the native binary images 4 5define stm32image_cmd 6 @$(cmd-echo-silent) ' GEN $@' 7 $(q)./core/arch/arm/plat-stm32mp1/scripts/stm32image.py \ 8 --load 0 --entry 0 9endef 10 11all: $(link-out-dir)/tee-header_v2.stm32 12cleanfiles += $(link-out-dir)/tee-header_v2.stm32 13$(link-out-dir)/tee-header_v2.stm32: $(link-out-dir)/tee-header_v2.bin 14 $(stm32image_cmd) --source $< --dest $@ 15 16all: $(link-out-dir)/tee-pager_v2.stm32 17cleanfiles += $(link-out-dir)/tee-pager_v2.stm32 18$(link-out-dir)/tee-pager_v2.stm32: $(link-out-dir)/tee-pager_v2.bin 19 $(stm32image_cmd) --source $< --dest $@ 20 21all: $(link-out-dir)/tee-pageable_v2.stm32 22cleanfiles += $(link-out-dir)/tee-pageable_v2.stm32 23$(link-out-dir)/tee-pageable_v2.stm32: $(link-out-dir)/tee-pageable_v2.bin 24 $(stm32image_cmd) --source $< --dest $@ 25