forked from Openwrt/openwrt
802828a394
Bump optee-os-stm32 to upstream release 4.6.0. Signed-off-by: Thomas Richard <thomas.richard@bootlin.com> Link: https://github.com/openwrt/openwrt/pull/18628 Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
65 lines
1.3 KiB
Makefile
65 lines
1.3 KiB
Makefile
#
|
|
# Copyright (C) 2024 Bootlin
|
|
#
|
|
# This is free software, licensed under the GNU General Public License v2.
|
|
# See /LICENSE for more information.
|
|
#
|
|
|
|
include $(TOPDIR)/rules.mk
|
|
|
|
PKG_VERSION:=4.6.0
|
|
PKG_RELEASE:=1
|
|
|
|
PKG_HASH:=0c947c6972bf50c483cb993af01041d4094b1e03711c7246cdde6ba2ffc351fe
|
|
PKG_MAINTAINER:=Thomas Richard <thomas.richard@bootlin.com>
|
|
|
|
OPTEE_USE_INTREE_DTC:=1
|
|
|
|
include $(INCLUDE_DIR)/kernel.mk
|
|
include $(INCLUDE_DIR)/optee-os.mk
|
|
include $(INCLUDE_DIR)/package.mk
|
|
|
|
define Optee-os/Default
|
|
BUILD_TARGET:=stm32
|
|
endef
|
|
|
|
define Optee-os/stm32mp1
|
|
BUILD_SUBTARGET:=stm32mp1
|
|
PLAT:=stm32mp1
|
|
endef
|
|
|
|
define Optee-os/stm32mp135f-dk
|
|
$(call Optee-os/stm32mp1)
|
|
NAME:=STM32MP135F-DK
|
|
PLAT_FLAVOR:=135F_DK
|
|
endef
|
|
|
|
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
|
|
|
|
define Build/InstallDev
|
|
$(INSTALL_DIR) $(STAGING_DIR_IMAGE)
|
|
$(foreach img,$(OPTEE_IMAGE), \
|
|
$(CP) $(PKG_BUILD_DIR)/out/arm-plat-$(PLAT)/core/$(img) $(STAGING_DIR_IMAGE)/$(BUILD_VARIANT)-$(img); \
|
|
)
|
|
endef
|
|
|
|
$(eval $(call BuildPackage/Optee-os))
|