diff --git a/br-ext/board/stmicroelectronics/stm32mp1-tz/genimage-STM32MP157C-ED1.cfg b/br-ext/board/stmicroelectronics/stm32mp1-tz/genimage-STM32MP157C-ED1.cfg
new file mode 100644
index 0000000000000000000000000000000000000000..1d10fcbfd381c78c8a8383a5aa690f18139287f2
--- /dev/null
+++ b/br-ext/board/stmicroelectronics/stm32mp1-tz/genimage-STM32MP157C-ED1.cfg
@@ -0,0 +1,48 @@
+image sdcard.img {
+	hdimage {
+		gpt = "true"
+	}
+
+	partition fsbl1 {
+		image = "tf-a-stm32mp157c-ed1.stm32"
+		size = 256K
+	}
+
+	partition fsbl2 {
+		image = "tf-a-stm32mp157c-ed1.stm32"
+		size = 256K
+	}
+
+	partition ssbl {
+		image = "u-boot.stm32"
+		size = 2M
+	}
+
+	partition teeh {
+		image = "tee-header_v2.stm32"
+		size = 32K
+	}
+
+	partition teed {
+		image = "tee-pageable_v2.stm32"
+		size = 2M
+	}
+
+	partition teex {
+		image = "tee-pager_v2.stm32"
+		size = 2M
+	}
+
+	partition bootfs {
+		image = "bootfs.ext2"
+		partition-type-uuid = L
+		size = 32M
+		bootable = "yes"
+	}
+
+	partition rootfs {
+		image = "rootfs.ext2"
+		partition-type-uuid = L
+		size = 100M
+	}
+}
diff --git a/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157C-ED1/boot/extlinux/extlinux.conf b/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157C-ED1/boot/extlinux/extlinux.conf
new file mode 100644
index 0000000000000000000000000000000000000000..2c7f84f34f8a72b038fa51d648dc14d4bb552b94
--- /dev/null
+++ b/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157C-ED1/boot/extlinux/extlinux.conf
@@ -0,0 +1,6 @@
+TIMEOUT 20
+DEFAULT stm32mp15-buildroot
+LABEL stm32mp15-buildroot
+  kernel /boot/uImage
+  devicetree /boot/stm32mp157c-ev1.dtb
+  append root=/dev/mmcblk0p8 rootwait rw console=ttySTM0,115200
diff --git a/stm32mp1.mk b/stm32mp1.mk
index 193230efca9641afe84adf226b058cc29b0c0194..7995ef84de08b74a6bfa6918f559021a5ed8591e 100644
--- a/stm32mp1.mk
+++ b/stm32mp1.mk
@@ -22,6 +22,9 @@ STM32MP1_DTS_BASENAME	= stm32mp157c-dk2
 else ifeq ($(PLATFORM),stm32mp1-157C_EV1)
 BREXT_FLAVOR		= STM32MP157C-EV1
 STM32MP1_DTS_BASENAME	= stm32mp157c-ev1
+else ifeq ($(PLATFORM),stm32mp1-157C_ED1)
+BREXT_FLAVOR		= STM32MP157C-ED1
+STM32MP1_DTS_BASENAME	= stm32mp157c-ed1
 else
 $(error Unknown PLATFORM $(PLATFORM))
 endif