3 files changed, 7 insertions, 1 deletions

diff --git a/src/soc/mediatek/mt8188/Kconfig b/src/soc/mediatek/mt8188/Kconfig
index 0568cd6f72..7de64aa25f 100644
--- a/src/soc/mediatek/mt8188/Kconfig
+++ b/src/soc/mediatek/mt8188/Kconfig
@@ -22,6 +22,7 @@ config VBOOT
 	select VBOOT_STARTS_IN_BOOTBLOCK
 	select VBOOT_SEPARATE_VERSTAGE
 	select VBOOT_RETURN_FROM_VERSTAGE
+	select VBOOT_DEFINE_WIDEVINE_COUNTERS
 
 config DPM_DM_FIRMWARE
 	string
diff --git a/src/soc/mediatek/mt8188/Makefile.inc b/src/soc/mediatek/mt8188/Makefile.inc
index 1426b83356..6a643b0057 100644
--- a/src/soc/mediatek/mt8188/Makefile.inc
+++ b/src/soc/mediatek/mt8188/Makefile.inc
@@ -58,7 +58,8 @@ ramstage-y += ../common/sspm.c
 ramstage-y += ../common/tps65132s.c
 ramstage-y += ../common/usb.c usb.c
 
-BL31_MAKEARGS += PLAT=mt8188
+BL31_MAKEARGS += PLAT=mt8188 SPD=opteed
+BL31_MAKEARGS += OPTEE_ALLOW_SMC_LOAD=1 PLAT_XLAT_TABLES_DYNAMIC=1
 
 CPPFLAGS_common += -Isrc/soc/mediatek/mt8188/include
 CPPFLAGS_common += -Isrc/soc/mediatek/common/dp/include
diff --git a/src/soc/mediatek/mt8188/soc.c b/src/soc/mediatek/mt8188/soc.c
index c63b5ca344..d0a29c578c 100644
--- a/src/soc/mediatek/mt8188/soc.c
+++ b/src/soc/mediatek/mt8188/soc.c
@@ -14,10 +14,14 @@
 #include <soc/sspm.h>
 #include <symbols.h>
 
+#define OPTEE_ADDRESS		0x43000000
+#define OPTEE_SIZE		(80 * MiB)
+
 void bootmem_platform_add_ranges(void)
 {
 	if (CONFIG(MTK_DFD))
 		bootmem_add_range(DFD_DUMP_ADDRESS, DFD_DUMP_SIZE, BM_MEM_RESERVED);
+	bootmem_add_range(OPTEE_ADDRESS, OPTEE_SIZE, BM_MEM_RESERVED);
 }
 
 static void soc_read_resources(struct device *dev)