stm32mp1: define STM32MP157A-DHCOR-AVENGER96

Signed-off-by: Johann Neuhauser <jneuhauser@dh-electronics.com>
Acked-by: Etienne Carriere <etienne.carriere@linaro.org>

br-ext/board/stmicroelectronics/stm32mp1-tz/genimage-STM32MP157A-DHCOR-AVENGER96.cfg

+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
+	}
+}

br-ext/board/stmicroelectronics/stm32mp1-tz/overlay-STM32MP157A-DHCOR-AVENGER96/boot/extlinux/extlinux.conf

+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

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