v7a: barebox: add new stm32mp rule

Since v2019.12.0, barebox now has SD/MMC and Ethernet support for the
STM32MP1.  Thus there is nothing holding us back from extending
DistroKit's v7a platform to support the SoC. Add a barebox-stm32mp
rule as first step.

The barebox rule add here is only meant as second-stage bootloader
(SSBL). First-stage (FSBL) will be TF-A introduced in a later patch.

Signed-off-by: Ahmad Fatoum <a.fatoum@pengutronix.de>

1 files changed, 147 insertions, 0 deletions

diff --git a/configs/platform-v7a/barebox-stm32mp.config.diff b/configs/platform-v7a/barebox-stm32mp.config.diff
new file mode 100644
index 0000000..ae685bc
--- /dev/null
+++ b/configs/platform-v7a/barebox-stm32mp.config.diff
@@ -0,0 +1,147 @@
+3535341c60838c5a3a5b02da35648d4a
+# CONFIG_ARCH_BCM283X is not set
+CONFIG_ARCH_HAS_RESET_CONTROLLER=y
+CONFIG_ARCH_NR_GPIO=416
+CONFIG_ARCH_STM32MP157=y
+CONFIG_ARCH_STM32MP=y
+# CONFIG_ARCH_TEXT_BASE is undefined
+CONFIG_ARM_ASM_UNIFIED=y
+CONFIG_ARM_BOARD_APPEND_ATAG=y
+# CONFIG_ARM_BOARD_PREPEND_ATAG is not set
+CONFIG_ARM_PSCI_CLIENT=y
+CONFIG_ARM_PSCI_OF=y
+# CONFIG_ARM_SECURE_MONITOR is undefined
+CONFIG_ARM_USE_COMPRESSED_DTB=y
+CONFIG_AT803X_PHY=y
+# CONFIG_BOARD_ARM_GENERIC_DT is not set
+CONFIG_BOOTM_INITRD=y
+CONFIG_BOOTM_OFTREE_UIMAGE=y
+# CONFIG_BZLIB is not set
+# CONFIG_CLOCKSOURCE_BCM283X is undefined
+# CONFIG_CMD_BOOTZ is not set
+# CONFIG_CMD_DEFAULTENV is not set
+# CONFIG_CMD_I2C is not set
+# CONFIG_CMD_LED_TRIGGER is undefined
+CONFIG_CMD_MENU_MANAGEMENT=y
+CONFIG_CMD_MIITOOL=y
+CONFIG_CMD_POWEROFF=y
+# CONFIG_CMD_SHA1SUM is not set
+# CONFIG_CMD_SPI is undefined
+# CONFIG_CMD_STATE is undefined
+# CONFIG_CMD_USB is undefined
+# CONFIG_CMD_USBGADGET is undefined
+CONFIG_COMMON_CLK_OF_PROVIDER=y
+CONFIG_COMPILE_LOGLEVEL=6
+# CONFIG_CONSOLE_ACTIVATE_FIRST is not set
+CONFIG_CONSOLE_ACTIVATE_NONE=y
+CONFIG_CRC8=y
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
+# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
+CONFIG_DEFAULT_LOGLEVEL=7
+# CONFIG_DIGEST_SHA1_GENERIC is not set
+# CONFIG_DRIVER_CFI is undefined
+CONFIG_DRIVER_NET_DESIGNWARE_EQOS=y
+CONFIG_DRIVER_NET_DESIGNWARE_STM32=y
+# CONFIG_DRIVER_NET_DESIGNWARE_TEGRA186 is not set
+# CONFIG_DRIVER_NET_ENC28J60 is undefined
+# CONFIG_DRIVER_NET_MICREL is undefined
+CONFIG_DRIVER_SERIAL_STM32=y
+# CONFIG_DRIVER_SPI_GPIO is undefined
+# CONFIG_EEPROM_AT25 is undefined
+# CONFIG_FILE_LIST is undefined
+# CONFIG_FIRMWARE_ALTERA_SERIAL is undefined
+# CONFIG_GPIO_74164 is undefined
+# CONFIG_GPIO_RASPBERRYPI_EXP is undefined
+# CONFIG_HWRNG is not set
+# CONFIG_I2C_ALGOBIT is undefined
+# CONFIG_I2C_GPIO is not set
+CONFIG_I2C_STM32=y
+# CONFIG_KEYBOARD_USB is undefined
+# CONFIG_LED_TRIGGERS is not set
+# CONFIG_LIBFDT is undefined
+# CONFIG_MACHINE_ID is undefined
+# CONFIG_MACH_RPI2 is undefined
+# CONFIG_MACH_RPI3 is undefined
+# CONFIG_MACH_RPI is undefined
+# CONFIG_MACH_RPI_CM3 is undefined
+# CONFIG_MACH_RPI_COMMON is undefined
+CONFIG_MACH_STM32MP157C_DK2=y
+# CONFIG_MCI_BCM283X is undefined
+# CONFIG_MCI_BCM283X_SDHOST is undefined
+# CONFIG_MCI_MMCI is not set
+# CONFIG_MCI_SPI is undefined
+CONFIG_MCI_STM32_SDMMC2=y
+CONFIG_MFD_STPMIC1=y
+CONFIG_MFD_SYSCON=y
+CONFIG_MICREL_PHY=y
+# CONFIG_MTD is not set
+# CONFIG_MTD_CONCAT is undefined
+# CONFIG_MTD_DATAFLASH is undefined
+# CONFIG_MTD_DOCG3 is undefined
+# CONFIG_MTD_M25P80 is undefined
+# CONFIG_MTD_MTDRAM is undefined
+# CONFIG_MTD_OOB_DEVICE is undefined
+# CONFIG_MTD_PEB_DEBUG is undefined
+# CONFIG_MTD_RAW_DEVICE is undefined
+# CONFIG_MTD_SPI_NOR is undefined
+# CONFIG_MTD_UBI is undefined
+# CONFIG_MTD_WRITE is undefined
+# CONFIG_NAND is undefined
+CONFIG_NET_NETCONSOLE=y
+# CONFIG_NET_NFS is not set
+# CONFIG_NET_USB is undefined
+# CONFIG_NET_USB_ASIX is undefined
+# CONFIG_NET_USB_SMSC95XX is undefined
+CONFIG_NVMEM=y
+# CONFIG_NVMEM_SNVS_LPGPR is not set
+CONFIG_PARTITION_DISK_EFI=y
+# CONFIG_PARTITION_DISK_EFI_GPT_COMPARE is not set
+# CONFIG_PARTITION_DISK_EFI_GPT_NO_FORCE is not set
+CONFIG_PBL_CONSOLE=y
+# CONFIG_PINCTRL_BCM283X is undefined
+CONFIG_PINCTRL_STM32=y
+CONFIG_PRINTF_UUID=y
+CONFIG_PROMPT="barebox:"
+# CONFIG_REGULATOR_ANATOP is not set
+# CONFIG_REGULATOR_BCM283X is undefined
+CONFIG_REGULATOR_FIXED=y
+CONFIG_REGULATOR_STPMIC1=y
+CONFIG_RESET_CONTROLLER=y
+# CONFIG_RESET_IMX7 is not set
+CONFIG_RESET_STM32=y
+# CONFIG_SHA1 is undefined
+# CONFIG_SPI is not set
+# CONFIG_SPI_MEM is undefined
+# CONFIG_STATE is not set
+# CONFIG_STATE_BACKWARD_COMPATIBLE is undefined
+# CONFIG_STATE_CRYPTO is undefined
+# CONFIG_STATE_DRV is undefined
+CONFIG_STM32_BSEC=y
+CONFIG_STM32_IWDG_WATCHDOG=y
+# CONFIG_STPMIC1_WATCHDOG is not set
+CONFIG_THUMB2_BAREBOX=y
+# CONFIG_USB is undefined
+# CONFIG_USBGADGET_START is undefined
+# CONFIG_USB_DWC2_HOST is undefined
+# CONFIG_USB_DWC3 is undefined
+# CONFIG_USB_EHCI is undefined
+# CONFIG_USB_GADGET is not set
+# CONFIG_USB_GADGET_AUTOSTART is undefined
+# CONFIG_USB_GADGET_DFU is undefined
+# CONFIG_USB_GADGET_FASTBOOT is undefined
+# CONFIG_USB_GADGET_FASTBOOT_SPARSE is undefined
+# CONFIG_USB_GADGET_SERIAL is undefined
+# CONFIG_USB_HOST is not set
+# CONFIG_USB_HUB_USB251XB is undefined
+# CONFIG_USB_STORAGE is undefined
+# CONFIG_USB_ULPI is undefined
+# CONFIG_USB_XHCI is undefined
+# CONFIG_WATCHDOG_BCM2835 is undefined
+CONFIG_WATCHDOG_POLLER=y
+# CONFIG_XZ_DECOMPRESS is not set
+# CONFIG_XZ_DEC_ARM is undefined
+# CONFIG_XZ_DEC_ARMTHUMB is undefined
+# CONFIG_XZ_DEC_IA64 is undefined
+# CONFIG_XZ_DEC_POWERPC is undefined
+# CONFIG_XZ_DEC_SPARC is undefined
+# CONFIG_XZ_DEC_X86 is undefined