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 $@ --bintype 0x20
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 $@ --bintype 0x21
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 $@ --bintype 0x22
25