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