diff --git a/br-ext/board/stmicroelectronics/stm32mp1-tz/genimage-STM32MP157A-DHCOR-AVENGER96.cfg b/br-ext/board/stmicroelectronics/stm32mp1-tz/genimage-STM32MP157A-DHCOR-AVENGER96.cfg
new file mode 100644
index 0000000000000000000000000000000000000000..8ba48d85cd65fda1659c8bb0ba557a9abf494cb0
--- /dev/null
+++ b/br-ext/board/stmicroelectronics/stm32mp1-tz/genimage-STM32MP157A-DHCOR-AVENGER96.cfg
@@ -0,0 +1,34 @@
+image sdcard.img {
+	hdimage {
+		gpt = "true"
+	}
+
+	partition fsbl {
+		image = "tf-a-stm32mp157a-dhcor-avenger96.stm32"
+		size = 256K
+	}
+
+	partition fip {
+		image = "fip.bin"
+		partition-type-uuid = L
+		size = 4M
+	}
+
+	partition u-boot-env {
+		partition-type-uuid = L
+		size = 4M
+	}
+
+	partition bootfs {
+		image = "bootfs.ext2"
+		partition-type-uuid = L
+		size = 32M
+		bootable = "yes"
+	}
+
+	partition rootfs {
+		image = "rootfs.ext2"
+		partition-type-uuid = L
+		size = 128M
+	}
+}
diff --git a/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DHCOR-AVENGER96/boot/extlinux/extlinux.conf b/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DHCOR-AVENGER96/boot/extlinux/extlinux.conf
new file mode 100644
index 0000000000000000000000000000000000000000..103d6cbc2a1b64b11422f58e367790abb769f9b7
--- /dev/null
+++ b/br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DHCOR-AVENGER96/boot/extlinux/extlinux.conf
@@ -0,0 +1,6 @@
+TIMEOUT 20
+DEFAULT stm32mp15-buildroot
+LABEL stm32mp15-buildroot
+  kernel /boot/uImage
+  devicetree /boot/stm32mp157a-dhcor-avenger96.dtb
+  append root=/dev/mmcblk0p5 rootwait rw console=ttySTM0,115200
diff --git a/stm32mp1.mk b/stm32mp1.mk
index 8a5e4b025fefafd90ad1a4f9113bcb94e97150f9..e947e84eed7584809c8703f8038a1c9158a2c221 100644
--- a/stm32mp1.mk
+++ b/stm32mp1.mk
@@ -16,6 +16,10 @@ include common.mk
 ifeq ($(PLATFORM),stm32mp1-157A_DK1)
 BREXT_FLAVOR		= STM32MP157A-DK1
 STM32MP1_DTS_BASENAME	= stm32mp157a-dk1
+else ifeq ($(PLATFORM),stm32mp1-157A_DHCOR_AVENGER96)
+BREXT_FLAVOR		= STM32MP157A-DHCOR-AVENGER96
+STM32MP1_DTS_BASENAME	= stm32mp157a-dhcor-avenger96
+STM32MP1_DTS_U_BOOT		= stm32mp15xx-dhcor-avenger96
 else ifeq ($(PLATFORM),stm32mp1-157C_DK2)
 BREXT_FLAVOR		= STM32MP157C-DK2
 STM32MP1_DTS_BASENAME	= stm32mp157c-dk2