Re: [DistroKit] [PATCH 2/6] v7a: barebox: add new stm32mp rule

[Roland Hieber <rhi@pengutronix.de>]

On Mon, Mar 02, 2020 at 12:03:52PM +0100, Ahmad Fatoum wrote:
> 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>
> ---
>  .../init/bootsource                           |   9 +
>  configs/platform-v7a/barebox-stm32mp.config   | 781 ++++++++++++++++++
>  .../platform-v7a/barebox-stm32mp.config.diff  | 147 ++++
>  configs/platform-v7a/platformconfig           |   1 +
>  .../platform-v7a/platforms/barebox-stm32mp.in |   8 +
>  .../platform-v7a/rules/barebox-stm32mp.make   | 107 +++
>  6 files changed, 1053 insertions(+)
>  create mode 100755 configs/platform-v7a/barebox-stm32mp-defaultenv/init/bootsource
>  create mode 100644 configs/platform-v7a/barebox-stm32mp.config
>  create mode 100644 configs/platform-v7a/barebox-stm32mp.config.diff
>  create mode 100644 configs/platform-v7a/platforms/barebox-stm32mp.in
>  create mode 100644 configs/platform-v7a/rules/barebox-stm32mp.make
> 
> diff --git a/configs/platform-v7a/barebox-stm32mp-defaultenv/init/bootsource b/configs/platform-v7a/barebox-stm32mp-defaultenv/init/bootsource
> new file mode 100755
> index 000000000000..b529384e939b
> --- /dev/null
> +++ b/configs/platform-v7a/barebox-stm32mp-defaultenv/init/bootsource
> @@ -0,0 +1,9 @@
> +#!/bin/sh
> +
> +if [ -n "$nv.boot.default" ]; then
> +	exit
> +fi
> +
> +if [ $bootsource = mmc ]; then
> +	global.boot.default="mmc${bootsource_instance}.root net"
> +fi
> diff --git a/configs/platform-v7a/barebox-stm32mp.config b/configs/platform-v7a/barebox-stm32mp.config
> new file mode 100644
> index 000000000000..5b532804ffb7
> --- /dev/null
> +++ b/configs/platform-v7a/barebox-stm32mp.config
> @@ -0,0 +1,781 @@
> +#
> +# Automatically generated file; DO NOT EDIT.
> +# Barebox/arm 2020.02.0-20200302-1 Configuration
> +#
> +CONFIG_ARM=y
> +CONFIG_ARM_LINUX=y
> +CONFIG_ARM_USE_COMPRESSED_DTB=y
> +CONFIG_TEXT_BASE=0x0
> +
> +#
> +# System Type
> +#
> +# CONFIG_ARCH_AT91 is not set
> +# CONFIG_ARCH_BCM283X is not set
> +# CONFIG_ARCH_CLPS711X is not set
> +# CONFIG_ARCH_DAVINCI is not set
> +# CONFIG_ARCH_DIGIC is not set
> +# CONFIG_ARCH_EP93XX is not set
> +# CONFIG_ARCH_HIGHBANK is not set
> +# CONFIG_ARCH_IMX is not set
> +# CONFIG_ARCH_LAYERSCAPE is not set
> +# CONFIG_ARCH_MVEBU is not set
> +# CONFIG_ARCH_MXS is not set
> +# CONFIG_ARCH_NOMADIK is not set
> +# CONFIG_ARCH_OMAP is not set
> +# CONFIG_ARCH_PXA is not set
> +# CONFIG_ARCH_ROCKCHIP is not set
> +# CONFIG_ARCH_SOCFPGA is not set
> +# CONFIG_ARCH_S3C24xx is not set
> +# CONFIG_ARCH_S5PCxx is not set
> +# CONFIG_ARCH_S3C64xx is not set
> +CONFIG_ARCH_STM32MP=y
> +# CONFIG_ARCH_VERSATILE is not set
> +# CONFIG_ARCH_VEXPRESS is not set
> +# CONFIG_ARCH_TEGRA is not set
> +# CONFIG_ARCH_UEMD is not set
> +# CONFIG_ARCH_ZYNQ is not set
> +# CONFIG_ARCH_ZYNQMP is not set
> +# CONFIG_ARCH_QEMU is not set
> +
> +#
> +# Processor Type
> +#
> +CONFIG_CPU_32=y
> +CONFIG_CPU_V7=y
> +CONFIG_CPU_32v7=y
> +
> +#
> +# processor features
> +#
> +# CONFIG_BOOT_ENDIANNESS_SWITCH is not set
> +CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
> +CONFIG_ARCH_NR_GPIO=416
> +CONFIG_ARCH_STM32MP157=y
> +CONFIG_MACH_STM32MP157C_DK2=y
> +# CONFIG_BOARD_ARM_GENERIC_DT is not set
> +CONFIG_ARM_ASM_UNIFIED=y
> +CONFIG_AEABI=y
> +CONFIG_THUMB2_BAREBOX=y
> +CONFIG_ARM_BOARD_APPEND_ATAG=y
> +# CONFIG_ARM_BOARD_PREPEND_ATAG is not set
> +# end of System Type
> +
> +#
> +# ARM specific settings
> +#
> +CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS=y
> +CONFIG_ARM_EXCEPTIONS=y
> +CONFIG_ARM_UNWIND=y
> +# CONFIG_ARM_SEMIHOSTING is not set
> +CONFIG_ARM_SMCCC=y
> +CONFIG_ARM_PSCI_OF=y
> +# CONFIG_ARM_PSCI is not set
> +CONFIG_ARM_PSCI_CLIENT=y
> +# end of ARM specific settings
> +
> +CONFIG_GREGORIAN_CALENDER=y
> +CONFIG_HAS_KALLSYMS=y
> +CONFIG_HAS_MODULES=y
> +CONFIG_HAS_CACHE=y
> +CONFIG_HAS_DMA=y
> +CONFIG_GENERIC_GPIO=y
> +CONFIG_BLOCK=y
> +CONFIG_BLOCK_WRITE=y
> +CONFIG_FILETYPE=y
> +CONFIG_BINFMT=y
> +CONFIG_UIMAGE=y
> +CONFIG_LOGBUF=y
> +CONFIG_STDDEV=y
> +CONFIG_BAREBOX_UPDATE=y
> +CONFIG_MENUTREE=y
> +CONFIG_BOOT=y
> +
> +#
> +# General Settings
> +#
> +CONFIG_LOCALVERSION=""
> +CONFIG_LOCALVERSION_AUTO=y
> +CONFIG_BANNER=y
> +CONFIG_MEMINFO=y
> +CONFIG_ENVIRONMENT_VARIABLES=y
> +CONFIG_GLOBALVAR=y
> +CONFIG_NVVAR=y
> +
> +#
> +# memory layout
> +#
> +CONFIG_HAVE_PBL_IMAGE=y
> +CONFIG_HAVE_PBL_MULTI_IMAGES=y
> +CONFIG_HAVE_IMAGE_COMPRESSION=y
> +CONFIG_PBL_IMAGE=y
> +CONFIG_PBL_MULTI_IMAGES=y
> +CONFIG_PBL_RELOCATABLE=y
> +CONFIG_IMAGE_COMPRESSION=y
> +# CONFIG_IMAGE_COMPRESSION_LZ4 is not set
> +CONFIG_IMAGE_COMPRESSION_LZO=y
> +# CONFIG_IMAGE_COMPRESSION_GZIP is not set
> +# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
> +# CONFIG_IMAGE_COMPRESSION_NONE is not set
> +CONFIG_MMU=y
> +CONFIG_MMU_EARLY=y
> +CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
> +CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
> +CONFIG_STACK_SIZE=0x8000
> +CONFIG_MALLOC_SIZE=0x0
> +# end of memory layout
> +
> +# CONFIG_EXPERIMENTAL is not set
> +# CONFIG_MALLOC_DLMALLOC is not set
> +CONFIG_MALLOC_TLSF=y
> +CONFIG_KALLSYMS=y
> +CONFIG_RELOCATABLE=y
> +# CONFIG_PANIC_HANG is not set
> +CONFIG_PROMPT="barebox:"
> +CONFIG_BAUDRATE=115200
> +CONFIG_CBSIZE=1024
> +CONFIG_SHELL_HUSH=y
> +# CONFIG_SHELL_SIMPLE is not set
> +# CONFIG_SHELL_NONE is not set
> +CONFIG_GLOB=y
> +CONFIG_GLOB_SORT=y
> +CONFIG_PROMPT_HUSH_PS2="> "
> +CONFIG_HUSH_FANCY_PROMPT=y
> +CONFIG_CMDLINE_EDITING=y
> +CONFIG_AUTO_COMPLETE=y
> +CONFIG_MENU=y
> +# CONFIG_PASSWORD is not set
> +CONFIG_DYNAMIC_CRC_TABLE=y
> +CONFIG_ERRNO_MESSAGES=y
> +CONFIG_TIMESTAMP=y
> +CONFIG_BOOTM=y
> +CONFIG_BOOTM_SHOW_TYPE=y
> +CONFIG_BOOTM_VERBOSE=y
> +CONFIG_BOOTM_INITRD=y
> +CONFIG_BOOTM_OFTREE=y
> +CONFIG_BOOTM_OFTREE_UIMAGE=y
> +# CONFIG_BOOTM_AIMAGE is not set
> +# CONFIG_BOOTM_FITIMAGE is not set
> +# CONFIG_BOOTM_OPTEE is not set
> +CONFIG_BLSPEC=y
> +CONFIG_FLEXIBLE_BOOTARGS=y
> +CONFIG_IMD=y
> +# CONFIG_IMD_TARGET is not set
> +# CONFIG_KERNEL_INSTALL_TARGET is not set
> +CONFIG_CONSOLE_FULL=y
> +# CONFIG_CONSOLE_SIMPLE is not set
> +# CONFIG_CONSOLE_NONE is not set
> +# CONFIG_CONSOLE_ACTIVATE_FIRST is not set
> +# CONFIG_CONSOLE_ACTIVATE_ALL is not set
> +CONFIG_CONSOLE_ACTIVATE_NONE=y
> +CONFIG_CONSOLE_ALLOW_COLOR=y
> +CONFIG_PBL_CONSOLE=y
> +# CONFIG_CONSOLE_RATP is not set
> +CONFIG_PARTITION=y
> +CONFIG_PARTITION_DISK=y
> +CONFIG_PARTITION_DISK_DOS=y
> +CONFIG_PARTITION_DISK_EFI=y
> +# CONFIG_PARTITION_DISK_EFI_GPT_NO_FORCE is not set
> +# CONFIG_PARTITION_DISK_EFI_GPT_COMPARE is not set
> +CONFIG_ENV_HANDLING=y
> +CONFIG_DEFAULT_ENVIRONMENT=y
> +# CONFIG_DEFAULT_COMPRESSION_GZIP is not set
> +# CONFIG_DEFAULT_COMPRESSION_LZO is not set
> +CONFIG_DEFAULT_COMPRESSION_NONE=y
> +CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW=y
> +CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_MENU=y
> +CONFIG_DEFAULT_ENVIRONMENT_PATH="$(objtree)/.ptxdist-defaultenv"
> +# CONFIG_BAREBOXENV_TARGET is not set
> +# CONFIG_BAREBOXCRC32_TARGET is not set
> +CONFIG_POLLER=y
> +# CONFIG_STATE is not set
> +# CONFIG_BOOTCHOOSER is not set
> +CONFIG_RESET_SOURCE=y
> +# end of General Settings
> +
> +#
> +# Debugging
> +#
> +CONFIG_COMPILE_LOGLEVEL=6
> +CONFIG_DEFAULT_LOGLEVEL=7
> +# CONFIG_DEBUG_LL is not set
> +# CONFIG_DEBUG_INITCALLS is not set
> +# CONFIG_PBL_BREAK is not set
> +# CONFIG_UBSAN is not set
> +CONFIG_UBSAN_ALIGNMENT=y
> +# end of Debugging
> +
> +CONFIG_HAS_DEBUG_LL=y
> +CONFIG_COMMAND_SUPPORT=y
> +CONFIG_COMPILE_HASH=y
> +
> +#
> +# Commands
> +#
> +
> +#
> +# Information
> +#
> +CONFIG_CMD_ARM_CPUINFO=y
> +CONFIG_CMD_DEVINFO=y
> +CONFIG_CMD_DMESG=y
> +CONFIG_CMD_DRVINFO=y
> +CONFIG_CMD_HELP=y
> +CONFIG_LONGHELP=y
> +CONFIG_CMD_IOMEM=y
> +CONFIG_CMD_IMD=y
> +CONFIG_CMD_MEMINFO=y
> +CONFIG_CMD_ARM_MMUINFO=y
> +CONFIG_CMD_REGULATOR=y
> +CONFIG_CMD_VERSION=y
> +CONFIG_CMD_MMC=y
> +# CONFIG_CMD_MMC_EXTCSD is not set
> +# end of Information
> +
> +#
> +# Boot
> +#
> +CONFIG_CMD_BOOT=y
> +CONFIG_CMD_BOOTM=y
> +# CONFIG_CMD_BOOTU is not set
> +# CONFIG_CMD_BOOTZ is not set
> +CONFIG_CMD_GO=y
> +# CONFIG_CMD_LOADB is not set
> +# CONFIG_CMD_LOADS is not set
> +# CONFIG_CMD_LOADY is not set
> +CONFIG_CMD_RESET=y
> +CONFIG_CMD_UIMAGE=y
> +# end of Boot
> +
> +#
> +# Partition
> +#
> +CONFIG_CMD_PARTITION=y
> +CONFIG_CMD_AUTOMOUNT=y
> +CONFIG_CMD_MOUNT=y
> +CONFIG_CMD_UMOUNT=y
> +# end of Partition
> +
> +#
> +# Environment
> +#
> +CONFIG_CMD_NV=y
> +CONFIG_CMD_EXPORT=y
> +# CONFIG_CMD_DEFAULTENV is not set
> +CONFIG_CMD_GLOBAL=y
> +CONFIG_CMD_LOADENV=y
> +CONFIG_CMD_PRINTENV=y
> +CONFIG_CMD_MAGICVAR=y
> +CONFIG_CMD_MAGICVAR_HELP=y
> +CONFIG_CMD_SAVEENV=y
> +# end of Environment
> +
> +#
> +# File
> +#
> +CONFIG_CMD_BASENAME=y
> +CONFIG_CMD_CAT=y
> +CONFIG_CMD_CD=y
> +CONFIG_CMD_CP=y
> +# CONFIG_CMD_CMP is not set
> +CONFIG_CMD_DIGEST=y
> +CONFIG_CMD_DIRNAME=y
> +CONFIG_CMD_FILETYPE=y
> +CONFIG_CMD_LN=y
> +CONFIG_CMD_LS=y
> +CONFIG_CMD_MD5SUM=y
> +CONFIG_CMD_MKDIR=y
> +CONFIG_CMD_PWD=y
> +CONFIG_CMD_READLINK=y
> +CONFIG_CMD_RM=y
> +CONFIG_CMD_RMDIR=y
> +# CONFIG_CMD_SHA1SUM is not set
> +# CONFIG_CMD_SHA224SUM is not set
> +# CONFIG_CMD_SHA256SUM is not set
> +# CONFIG_CMD_SHA384SUM is not set
> +# CONFIG_CMD_SHA512SUM is not set
> +CONFIG_CMD_UNCOMPRESS=y
> +# end of File
> +
> +#
> +# Shell scripting
> +#
> +CONFIG_CMD_FALSE=y
> +CONFIG_CMD_GETOPT=y
> +CONFIG_CMD_LET=y
> +CONFIG_CMD_MSLEEP=y
> +CONFIG_CMD_READF=y
> +CONFIG_CMD_SLEEP=y
> +CONFIG_CMD_TEST=y
> +CONFIG_CMD_TRUE=y
> +# end of Shell scripting
> +
> +#
> +# Network
> +#
> +CONFIG_CMD_DHCP=y
> +CONFIG_CMD_HOST=y
> +CONFIG_NET_CMD_IFUP=y
> +CONFIG_CMD_MIITOOL=y
> +CONFIG_CMD_PING=y
> +CONFIG_CMD_TFTP=y
> +CONFIG_CMD_IP_ROUTE_GET=y
> +# end of Network
> +
> +#
> +# Console and Framebuffer interaction
> +#
> +CONFIG_CMD_CLEAR=y
> +CONFIG_CMD_ECHO=y
> +CONFIG_CMD_ECHO_E=y
> +CONFIG_CMD_EDIT=y
> +# CONFIG_CMD_LOGIN is not set
> +CONFIG_CMD_MENU=y
> +CONFIG_CMD_MENU_MANAGEMENT=y
> +CONFIG_CMD_MENUTREE=y
> +CONFIG_CMD_READLINE=y
> +CONFIG_CMD_TIMEOUT=y
> +# end of Console and Framebuffer interaction
> +
> +#
> +# Memory
> +#
> +CONFIG_CMD_CRC=y
> +CONFIG_CMD_CRC_CMP=y
> +CONFIG_CMD_MD=y
> +CONFIG_CMD_MEMCMP=y
> +CONFIG_CMD_MEMCPY=y
> +CONFIG_CMD_MEMSET=y
> +CONFIG_CMD_MEMTEST=y
> +CONFIG_CMD_MM=y
> +CONFIG_CMD_MW=y
> +# end of Memory
> +
> +#
> +# Hardware manipulation
> +#
> +CONFIG_CMD_CLK=y
> +CONFIG_CMD_DETECT=y
> +CONFIG_CMD_FLASH=y
> +CONFIG_CMD_GPIO=y
> +# CONFIG_CMD_I2C is not set
> +CONFIG_CMD_LED=y
> +CONFIG_CMD_POWEROFF=y
> +# CONFIG_CMD_SMC is not set
> +CONFIG_CMD_WD=y
> +CONFIG_CMD_WD_DEFAULT_TIMOUT=0
> +# end of Hardware manipulation
> +
> +#
> +# Miscellaneous
> +#
> +# CONFIG_CMD_2048 is not set
> +CONFIG_CMD_BAREBOX_UPDATE=y
> +# CONFIG_CMD_BLOBGEN is not set
> +# CONFIG_CMD_FIRMWARELOAD is not set
> +# CONFIG_CMD_OF_DIFF is not set
> +CONFIG_CMD_OF_DUMP=y
> +CONFIG_CMD_OF_NODE=y
> +CONFIG_CMD_OF_PROPERTY=y
> +# CONFIG_CMD_OF_DISPLAY_TIMINGS is not set
> +# CONFIG_CMD_OF_FIXUP_STATUS is not set
> +# CONFIG_CMD_OF_OVERLAY is not set
> +CONFIG_CMD_OFTREE=y
> +CONFIG_CMD_TIME=y
> +# CONFIG_CMD_DHRYSTONE is not set
> +# CONFIG_CMD_SPD_DECODE is not set
> +# CONFIG_CMD_SEED is not set
> +# end of Miscellaneous
> +# end of Commands
> +
> +CONFIG_NET=y
> +# CONFIG_NET_NFS is not set
> +CONFIG_NET_NETCONSOLE=y
> +CONFIG_NET_RESOLV=y
> +CONFIG_NET_IFUP=y
> +CONFIG_NET_DHCP=y
> +# CONFIG_NET_SNTP is not set
> +
> +#
> +# Drivers
> +#
> +CONFIG_OFTREE=y
> +CONFIG_OFTREE_MEM_GENERIC=y
> +CONFIG_DTC=y
> +CONFIG_OFDEVICE=y
> +CONFIG_OF_NET=y
> +CONFIG_OF_GPIO=y
> +CONFIG_OF_BAREBOX_DRIVERS=y
> +# CONFIG_OF_BAREBOX_ENV_IN_FS is not set
> +# CONFIG_OF_OVERLAY is not set
> +# CONFIG_AIODEV is not set
> +CONFIG_ARM_AMBA=y
> +
> +#
> +# serial drivers
> +#
> +# CONFIG_SERIAL_DEV_BUS is not set
> +# CONFIG_DRIVER_SERIAL_ARM_DCC is not set
> +# CONFIG_SERIAL_AMBA_PL011 is not set
> +CONFIG_DRIVER_SERIAL_STM32=y
> +# CONFIG_DRIVER_SERIAL_NS16550 is not set
> +# CONFIG_DRIVER_SERIAL_CADENCE is not set
> +# end of serial drivers
> +
> +CONFIG_PHYLIB=y
> +
> +#
> +# Network drivers
> +#
> +# CONFIG_DRIVER_NET_ARC_EMAC is not set
> +# CONFIG_DRIVER_NET_CALXEDA_XGMAC is not set
> +# CONFIG_DRIVER_NET_DESIGNWARE is not set
> +CONFIG_DRIVER_NET_DESIGNWARE_EQOS=y
> +CONFIG_DRIVER_NET_DESIGNWARE_STM32=y
> +# CONFIG_DRIVER_NET_DESIGNWARE_TEGRA186 is not set
> +# CONFIG_DRIVER_NET_FSL_FMAN is not set
> +# CONFIG_DRIVER_NET_KS8851_MLL is not set
> +# CONFIG_DRIVER_NET_SMC911X is not set
> +# CONFIG_DRIVER_NET_SMC91111 is not set
> +
> +#
> +# phylib
> +#
> +
> +#
> +# MII PHY device drivers
> +#
> +# CONFIG_AR8327N_PHY is not set
> +CONFIG_AT803X_PHY=y
> +# CONFIG_DAVICOM_PHY is not set
> +# CONFIG_DP83867_PHY is not set
> +# CONFIG_LXT_PHY is not set
> +# CONFIG_MARVELL_PHY is not set
> +CONFIG_MICREL_PHY=y
> +# CONFIG_NATIONAL_PHY is not set
> +# CONFIG_REALTEK_PHY is not set
> +# CONFIG_SMSC_PHY is not set
> +# CONFIG_NET_DSA_MV88E6XXX is not set
> +
> +#
> +# MII bus device drivers
> +#
> +# CONFIG_MDIO_BITBANG is not set
> +# CONFIG_MDIO_BUS_MUX_GPIO is not set
> +# end of phylib
> +# end of Network drivers
> +
> +#
> +# SPI drivers
> +#
> +# CONFIG_SPI is not set
> +# end of SPI drivers
> +
> +CONFIG_I2C=y
> +
> +#
> +# I2C Hardware Bus support
> +#
> +# CONFIG_I2C_GPIO is not set
> +# CONFIG_I2C_DESIGNWARE is not set
> +# CONFIG_I2C_MV64XXX is not set
> +CONFIG_I2C_STM32=y
> +# end of I2C Hardware Bus support
> +
> +# CONFIG_I2C_MUX is not set
> +# CONFIG_MTD is not set
> +CONFIG_DISK=y
> +CONFIG_DISK_WRITE=y
> +
> +#
> +# drive types
> +#
> +# CONFIG_DISK_ATA is not set
> +# CONFIG_DISK_AHCI is not set
> +
> +#
> +# interface types
> +#
> +# CONFIG_DISK_INTF_PLATFORM_IDE is not set
> +# CONFIG_USB_HOST is not set
> +# CONFIG_USB_GADGET is not set
> +# CONFIG_USB_MUSB is not set
> +# CONFIG_VIDEO is not set
> +CONFIG_MCI=y
> +
> +#
> +# --- Feature list ---
> +#
> +CONFIG_MCI_STARTUP=y
> +CONFIG_MCI_INFO=y
> +CONFIG_MCI_WRITE=y
> +# CONFIG_MCI_MMC_BOOT_PARTITIONS is not set
> +
> +#
> +# --- MCI host drivers ---
> +#
> +# CONFIG_MCI_DW is not set
> +# CONFIG_MCI_MMCI is not set
> +# CONFIG_MCI_ARASAN is not set
> +CONFIG_MCI_STM32_SDMMC2=y
> +CONFIG_HAVE_CLK=y
> +CONFIG_CLKDEV_LOOKUP=y
> +CONFIG_COMMON_CLK=y
> +CONFIG_COMMON_CLK_OF_PROVIDER=y
> +
> +#
> +# Clocksource
> +#
> +CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
> +CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
> +# CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
> +# end of Clocksource
> +
> +#
> +# MFD
> +#
> +# CONFIG_MFD_ACT8846 is not set
> +# CONFIG_MFD_DA9053 is not set
> +# CONFIG_MFD_DA9063 is not set
> +# CONFIG_MFD_LP3972 is not set
> +# CONFIG_MFD_MC13XXX is not set
> +# CONFIG_MFD_MC34704 is not set
> +# CONFIG_MFD_MC9SDZ60 is not set
> +# CONFIG_MFD_STMPE is not set
> +CONFIG_MFD_SYSCON=y
> +# CONFIG_MFD_TWL4030 is not set
> +# CONFIG_MFD_TWL6030 is not set
> +CONFIG_MFD_STPMIC1=y
> +# CONFIG_FINTEK_SUPERIO is not set
> +# CONFIG_SMSC_SUPERIO is not set
> +# end of MFD
> +
> +#
> +# Misc devices
> +#
> +# CONFIG_JTAG is not set
> +# CONFIG_SRAM is not set
> +CONFIG_DEV_MEM=y
> +# CONFIG_UBOOTVAR is not set
> +# end of Misc devices
> +
> +CONFIG_LED=y
> +CONFIG_LED_GPIO=y
> +CONFIG_LED_GPIO_OF=y
> +# CONFIG_LED_GPIO_RGB is not set
> +# CONFIG_LED_GPIO_BICOLOR is not set
> +# CONFIG_LED_TRIGGERS is not set
> +# CONFIG_LED_PCA955X is not set
> +
> +#
> +# EEPROM support
> +#
> +# CONFIG_EEPROM_AT24 is not set
> +# end of EEPROM support
> +
> +#
> +# Input device support
> +#
> +# CONFIG_KEYBOARD_GPIO is not set
> +# CONFIG_KEYBOARD_QT1070 is not set
> +# CONFIG_INPUT_SPECIALKEYS is not set
> +# end of Input device support
> +
> +CONFIG_WATCHDOG=y
> +CONFIG_WATCHDOG_POLLER=y
> +# CONFIG_WATCHDOG_DW is not set
> +CONFIG_STM32_IWDG_WATCHDOG=y
> +# CONFIG_STPMIC1_WATCHDOG is not set
> +# CONFIG_PWM is not set
> +# CONFIG_HWRNG is not set
> +
> +#
> +# DMA support
> +#
> +# end of DMA support
> +
> +CONFIG_GPIOLIB=y
> +
> +#
> +# GPIO
> +#
> +# CONFIG_GPIO_GENERIC_PLATFORM is not set
> +# CONFIG_GPIO_PCA953X is not set
> +# CONFIG_GPIO_PCF857X is not set
> +# CONFIG_GPIO_PL061 is not set
> +# CONFIG_GPIO_DESIGNWARE is not set
> +# CONFIG_GPIO_SX150X is not set
> +# end of GPIO
> +
> +# CONFIG_W1 is not set
> +
> +#
> +# Pin controllers
> +#
> +CONFIG_PINCTRL=y
> +# CONFIG_PINCTRL_SINGLE is not set
> +CONFIG_PINCTRL_STM32=y
> +# end of Pin controllers
> +
> +CONFIG_NVMEM=y
> +# CONFIG_NVMEM_SNVS_LPGPR is not set
> +CONFIG_STM32_BSEC=y
> +
> +#
> +# Bus devices
> +#
> +# end of Bus devices
> +
> +CONFIG_REGULATOR=y
> +CONFIG_REGULATOR_FIXED=y
> +CONFIG_REGULATOR_STPMIC1=y
> +# CONFIG_REGULATOR_ANATOP is not set
> +
> +#
> +# Remoteproc drivers
> +#
> +# CONFIG_REMOTEPROC is not set
> +# end of Remoteproc drivers
> +
> +CONFIG_ARCH_HAS_RESET_CONTROLLER=y
> +CONFIG_RESET_CONTROLLER=y
> +# CONFIG_RESET_IMX7 is not set
> +CONFIG_RESET_STM32=y
> +# CONFIG_RTC_CLASS is not set
> +
> +#
> +# Firmware Drivers
> +#
> +# end of Firmware Drivers
> +
> +# CONFIG_GENERIC_PHY is not set
> +# CONFIG_CRYPTO_HW is not set
> +
> +#
> +# Memory controller drivers
> +#
> +# end of Memory controller drivers
> +
> +#
> +# i.MX SoC drivers
> +#
> +# end of i.MX SoC drivers
> +
> +#
> +# NVME Support
> +#
> +# end of NVME Support
> +# end of Drivers
> +
> +#
> +# Filesystem support
> +#
> +CONFIG_FS=y
> +CONFIG_FS_LEGACY=y
> +
> +#
> +# Some selected filesystems still use the legacy FS API.
> +#
> +
> +#
> +# Consider updating them.
> +#
> +CONFIG_FS_AUTOMOUNT=y
> +# CONFIG_FS_CRAMFS is not set
> +CONFIG_FS_EXT4=y
> +CONFIG_FS_RAMFS=y
> +CONFIG_FS_DEVFS=y
> +CONFIG_FS_TFTP=y
> +CONFIG_FS_NFS=y
> +CONFIG_FS_FAT=y
> +CONFIG_FS_FAT_WRITE=y
> +CONFIG_FS_FAT_LFN=y
> +# CONFIG_FS_BPKFS is not set
> +# CONFIG_FS_UIMAGEFS is not set
> +# CONFIG_FS_PSTORE is not set
> +# CONFIG_FS_SQUASHFS is not set
> +
> +#
> +# ZLIB support disabled
> +#
> +
> +#
> +# LZ4 support disabled
> +#
> +
> +#
> +# LZO support disabled
> +#
> +
> +#
> +# XZ support disabled
> +#
> +
> +#
> +# ZSTD support disabled
> +#
> +# end of Filesystem support
> +
> +#
> +# Library routines
> +#
> +CONFIG_PARAMETER=y
> +CONFIG_UNCOMPRESS=y
> +CONFIG_ZLIB=y
> +# CONFIG_BZLIB is not set
> +# CONFIG_LZ4_DECOMPRESS is not set
> +# CONFIG_ZSTD_DECOMPRESS is not set
> +# CONFIG_XZ_DECOMPRESS is not set
> +# CONFIG_BASE64 is not set
> +CONFIG_PROCESS_ESCAPE_SEQUENCE=y
> +CONFIG_LZO_DECOMPRESS=y
> +CONFIG_FNMATCH=y
> +CONFIG_QSORT=y
> +# CONFIG_RATP is not set
> +# CONFIG_ALLOW_PRNG_FALLBACK is not set
> +# CONFIG_CRC_CCITT is not set
> +CONFIG_CRC8=y
> +
> +#
> +# Library gui routines
> +#
> +# end of Library gui routines
> +
> +# CONFIG_BAREBOX_LOGO is not set
> +CONFIG_PRINTF_UUID=y
> +# CONFIG_NLS is not set
> +# CONFIG_BLOBGEN is not set
> +CONFIG_ARCH_HAS_STACK_DUMP=y
> +CONFIG_ARCH_HAS_DATA_ABORT_MASK=y
> +# end of Library routines
> +
> +#
> +# Crypto support
> +#
> +CONFIG_CRC32=y
> +CONFIG_DIGEST=y
> +CONFIG_MD5=y
> +# CONFIG_DIGEST_CRC32_GENERIC is not set
> +CONFIG_DIGEST_MD5_GENERIC=y
> +# CONFIG_DIGEST_SHA1_GENERIC is not set
> +# CONFIG_DIGEST_SHA224_GENERIC is not set
> +# CONFIG_DIGEST_SHA256_GENERIC is not set
> +# CONFIG_DIGEST_SHA384_GENERIC is not set
> +# CONFIG_DIGEST_SHA512_GENERIC is not set
> +# CONFIG_DIGEST_HMAC_GENERIC is not set
> +# CONFIG_DIGEST_SHA1_ARM is not set
> +# CONFIG_DIGEST_SHA256_ARM is not set
> +# CONFIG_CRYPTO_KEYSTORE is not set
> +# end of Crypto support
> +
> +#
> +# Firmware files
> +#
> +CONFIG_EXTRA_FIRMWARE_DIR="firmware"
> +# end of Firmware files
> +
> +#
> +# Host Tools
> +#
> +# CONFIG_COMPILE_HOST_TOOLS is not set
> +# end of Host Tools
> diff --git a/configs/platform-v7a/barebox-stm32mp.config.diff b/configs/platform-v7a/barebox-stm32mp.config.diff
> new file mode 100644
> index 000000000000..ae685bc0303f
> --- /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

Is this needed?

> +# 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
> diff --git a/configs/platform-v7a/platformconfig b/configs/platform-v7a/platformconfig
> index 3a0bab50c4ee..f468a77e4f96 100644
> --- a/configs/platform-v7a/platformconfig
> +++ b/configs/platform-v7a/platformconfig
> @@ -173,6 +173,7 @@ PTXCONF_BAREBOX_AM335X_MLO=y
>  PTXCONF_BAREBOX_AM335X=y
>  PTXCONF_BAREBOX_MX6=y
>  PTXCONF_BAREBOX_RPI2=y
> +PTXCONF_BAREBOX_STM32MP=y
>  PTXCONF_BAREBOX_VEXPRESS=y
>  PTXCONF_BAREBOX_ARCH_STRING="arm"
>  # PTXCONF_BAREBOX is not set
> diff --git a/configs/platform-v7a/platforms/barebox-stm32mp.in b/configs/platform-v7a/platforms/barebox-stm32mp.in
> new file mode 100644
> index 000000000000..6fc59546d8f4
> --- /dev/null
> +++ b/configs/platform-v7a/platforms/barebox-stm32mp.in
> @@ -0,0 +1,8 @@
> +## SECTION=bootloader
> +
> +config BAREBOX_STM32MP
> +	tristate
> +	prompt "Barebox (stm32mp)"
> +	select BAREBOX_COMMON
> +	help
> +	  Barebox image for STM32MP
> diff --git a/configs/platform-v7a/rules/barebox-stm32mp.make b/configs/platform-v7a/rules/barebox-stm32mp.make
> new file mode 100644
> index 000000000000..962409696483
> --- /dev/null
> +++ b/configs/platform-v7a/rules/barebox-stm32mp.make
> @@ -0,0 +1,107 @@
> +# -*-makefile-*-
> +#
> +# Copyright (C) 2017 by Sascha Hauer <s.hauer@pengutronix.de>

Very humble of you to give credit to someone else :)

> +#
> +# See CREDITS for details about who has contributed to this project.
> +#
> +# For further information about the PTXdist project and license conditions
> +# see the README file.
> +#
> +
> +#
> +# We provide this package
> +#
> +PACKAGES-$(PTXCONF_BAREBOX_STM32MP) += barebox-stm32mp
> +
> +#
> +# Paths and names
> +#
> +BAREBOX_STM32MP_VERSION		:= $(call remove_quotes,$(PTXCONF_BAREBOX_COMMON_VERSION))
> +BAREBOX_STM32MP_MD5		:= $(call remove_quotes,$(PTXCONF_BAREBOX_COMMON_MD5))
> +BAREBOX_STM32MP			:= barebox-$(BAREBOX_STM32MP_VERSION)
> +BAREBOX_STM32MP_SUFFIX		:= tar.bz2
> +BAREBOX_STM32MP_DIR		:= $(BUILDDIR)/barebox-stm32mp-$(BAREBOX_STM32MP_VERSION)
> +BAREBOX_STM32MP_CONFIG		:= $(call ptx/in-platformconfigdir, barebox-stm32mp.config)
> +BAREBOX_STM32MP_REF_CONFIG	:= $(call ptx/in-platformconfigdir, barebox.config)
> +BAREBOX_STM32MP_LICENSE		:= GPL-2.0
> +BAREBOX_STM32MP_URL		:= $(call barebox-url, BAREBOX_STM32MP)
> +BAREBOX_STM32MP_SOURCE		:= $(SRCDIR)/$(BAREBOX_STM32MP).$(BAREBOX_STM32MP_SUFFIX)
> +
> +# ----------------------------------------------------------------------------
> +# Prepare
> +# ----------------------------------------------------------------------------
> +
> +BAREBOX_STM32MP_WRAPPER_BLACKLIST := \
> +	TARGET_HARDEN_RELRO \
> +	TARGET_HARDEN_BINDNOW \
> +	TARGET_HARDEN_PIE \
> +	TARGET_DEBUG \
> +	TARGET_BUILD_ID
> +
> +BAREBOX_STM32MP_CONF_ENV := KCONFIG_NOTIMESTAMP=1
> +BAREBOX_STM32MP_CONF_OPT := $(call barebox-opts, BAREBOX_STM32MP)
> +
> +BAREBOX_STM32MP_MAKE_ENV := $(BAREBOX_STM32MP_CONF_ENV)
> +BAREBOX_STM32MP_MAKE_OPT := $(BAREBOX_STM32MP_CONF_OPT)
> +
> +BAREBOX_STM32MP_IMAGES := \
> +	images/barebox-stm32mp157c-dk2.img
> +
> +BAREBOX_STM32MP_IMAGES := $(addprefix $(BAREBOX_STM32MP_DIR)/,$(BAREBOX_STM32MP_IMAGES))
> +
> +ifdef PTXCONF_BAREBOX_STM32MP
> +$(BAREBOX_STM32MP_CONFIG):
> +	@echo
> +	@echo "****************************************************************************"
> +	@echo " Please generate a bareboxconfig with 'ptxdist menuconfig barebox-stm32mp'"
> +	@echo "****************************************************************************"
> +	@echo
> +	@echo
> +	@exit 1
> +endif
> +
> +$(STATEDIR)/barebox-stm32mp.prepare: $(BAREBOX_STM32MP_CONFIG)
> +	@$(call targetinfo)
> +	@rm -f "$(BAREBOX_STM32MP_DIR)/.ptxdist-defaultenv"
> +	@ln -s "$(call ptx/in-platformconfigdir, barebox-stm32mp-defaultenv)" \
> +		"$(BAREBOX_STM32MP_DIR)/.ptxdist-defaultenv"
> +	@$(call world/prepare, BAREBOX_STM32MP)
> +	@$(call touch)
> +
> +# ----------------------------------------------------------------------------
> +# Install
> +# ----------------------------------------------------------------------------
> +
> +$(STATEDIR)/barebox-stm32mp.install:
> +	@$(call targetinfo)
> +	@$(call touch)
> +
> +# ----------------------------------------------------------------------------
> +# Targetinstall
> +# ----------------------------------------------------------------------------
> +
> +$(STATEDIR)/barebox-stm32mp.targetinstall:
> +	@$(call targetinfo)
> +	@$(foreach image, $(BAREBOX_STM32MP_IMAGES), \
> +		install -m 644 \
> +			$(image) $(IMAGEDIR)/$(notdir $(image));)
> +	@$(call touch)
> +
> +# ----------------------------------------------------------------------------
> +# Clean
> +# ----------------------------------------------------------------------------
> +
> +$(STATEDIR)/barebox-stm32mp.clean:
> +	@$(call targetinfo)
> +	@$(call clean_pkg, BAREBOX_STM32MP)
> +	@$(foreach image, $(BAREBOX_STM32MP_IMAGES), \
> +		rm -fv $(IMAGEDIR)/$(notdir $(image))-stm32mp;)
> +
> +# ----------------------------------------------------------------------------
> +# oldconfig / menuconfig
> +# ----------------------------------------------------------------------------
> +
> +barebox-stm32mp_oldconfig barebox-stm32mp_menuconfig barebox-stm32mp_nconfig: $(STATEDIR)/barebox-stm32mp.extract
> +	@$(call world/kconfig, BAREBOX_STM32MP, $(subst barebox-stm32mp_,,$@))
> +
> +# vim: syntax=make
> -- 
> 2.25.0
> 
> 
> _______________________________________________
> DistroKit mailing list
> DistroKit@pengutronix.de
> 

-- 
Roland Hieber, Pengutronix e.K.          | r.hieber@pengutronix.de     |
Steuerwalder Str. 21                     | https://www.pengutronix.de/ |
31137 Hildesheim, Germany                | Phone: +49-5121-206917-0    |
Amtsgericht Hildesheim, HRA 2686         | Fax:   +49-5121-206917-5555 |

_______________________________________________
DistroKit mailing list
DistroKit@pengutronix.de