diff --git a/package/boot/optee-os-stm32/Makefile b/package/boot/optee-os-stm32/Makefile index e0be8e433e5..c9994f790f3 100644 --- a/package/boot/optee-os-stm32/Makefile +++ b/package/boot/optee-os-stm32/Makefile @@ -34,7 +34,22 @@ define Optee-os/stm32mp135f-dk PLAT_FLAVOR:=135F_DK endef -OPTEE_TARGETS := stm32mp135f-dk +define Optee-os/stm32mp157c-dk2 + $(call Optee-os/stm32mp1) + NAME:=STM32MP157C-DK2 + PLAT_FLAVOR:=157C_DK2 +endef + +define Optee-os/stm32mp157c-dk2-scmi + $(call Optee-os/stm32mp1) + NAME:=STM32MP157C-DK2 (SCMI) + PLAT_FLAVOR:=157C_DK2_SCMI +endef + +OPTEE_TARGETS := \ + stm32mp135f-dk \ + stm32mp157c-dk2 \ + stm32mp157c-dk2-scmi define Package/optee-os/install/default endef