AARCH32_SP=optee
ARCH=aarch32
ARM_ARCH_MAJOR=7
CROSS_COMPILE=arm-none-eabi-
DTB_FILE_NAME=stm32mp135f-dk.dtb
KEY_ALG=ecdsa-brainpool-regular
PLAT=stm32mp1
PSA_FWU_SUPPORT=1
STM32MP13=1
STM32MP_EMMC=1
STM32MP_SDMMC=1
TRUSTED_BOARD_BOOT=1