2 files changed, 8 insertions, 0 deletions

diff --git a/conf/machine/am57xx-hs-evm.conf b/conf/machine/am57xx-hs-evm.conf
index bd5a1450..e43a6489 100644
--- a/conf/machine/am57xx-hs-evm.conf
+++ b/conf/machine/am57xx-hs-evm.conf
@@ -12,3 +12,7 @@ UBOOT_RD_LOADADDRESS = "0x84000000"
 UBOOT_RD_ENTRYPOINT = "0x84000000"
 
 TI_SECURE_DEV_PKG = "${TI_SECURE_DEV_PKG_DRA7}"
+
+OPTEEMACHINE = "ti"
+OPTEEFLAVOR = "am572x_evm"
+OPTEEOUTPUTMACHINE = "ti"
diff --git a/conf/machine/dra7xx-hs-evm.conf b/conf/machine/dra7xx-hs-evm.conf
index 537152b2..a82402dc 100644
--- a/conf/machine/dra7xx-hs-evm.conf
+++ b/conf/machine/dra7xx-hs-evm.conf
@@ -12,3 +12,7 @@ UBOOT_RD_LOADADDRESS = "0x84000000"
 UBOOT_RD_ENTRYPOINT = "0x84000000"
 
 TI_SECURE_DEV_PKG = "${TI_SECURE_DEV_PKG_DRA7}"
+
+OPTEEMACHINE = "ti"
+OPTEEFLAVOR = "dra7xx_evm dra72x_evm_revc"
+OPTEEOUTPUTMACHINE = "ti"