DistroKit Mailinglist
 help / color / mirror / Atom feed
* [DistroKit] [PATCH] v7a: barebox: version bump 2019.07.0 → 2019.08.1
@ 2019-08-21 15:34 Roland Hieber
  2019-08-21 15:37 ` Roland Hieber
  0 siblings, 1 reply; 2+ messages in thread
From: Roland Hieber @ 2019-08-21 15:34 UTC (permalink / raw)
  To: distrokit; +Cc: Roland Hieber

Signed-off-by: Roland Hieber <rhi@pengutronix.de>
---
 .../platform-v7a/barebox-am335x-mlo.config    | 48 ++++++++++++-
 configs/platform-v7a/barebox-am335x.config    | 67 ++++++++++++++++-
 .../platform-v7a/barebox-am335x.config.diff   |  2 +-
 configs/platform-v7a/barebox-mx6.config       | 72 ++++++++++++++++++-
 configs/platform-v7a/barebox-mx6.config.diff  |  4 +-
 configs/platform-v7a/barebox-rpi2.config      | 67 ++++++++++++++++-
 configs/platform-v7a/barebox-rpi2.config.diff |  2 +-
 configs/platform-v7a/barebox-vexpress.config  | 63 +++++++++++++++-
 .../platform-v7a/barebox-vexpress.config.diff |  2 +-
 configs/platform-v7a/barebox.config           | 67 ++++++++++++++++-
 configs/platform-v7a/platformconfig           |  4 +-
 11 files changed, 378 insertions(+), 20 deletions(-)

diff --git a/configs/platform-v7a/barebox-am335x-mlo.config b/configs/platform-v7a/barebox-am335x-mlo.config
index c056669d9d9a..bb75689ac100 100644
--- a/configs/platform-v7a/barebox-am335x-mlo.config
+++ b/configs/platform-v7a/barebox-am335x-mlo.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2019.07.0 Configuration
+# Barebox/arm 2019.08.1 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_USE_COMPRESSED_DTB=y
@@ -29,7 +29,7 @@ CONFIG_ARCH_OMAP=y
 # CONFIG_ARCH_S3C24xx is not set
 # CONFIG_ARCH_S5PCxx is not set
 # CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP1 is not set
+# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
 # CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
@@ -67,9 +67,12 @@ CONFIG_MACH_PHYTEC_SOM_AM335X=y
 # CONFIG_MACH_VSCOM_BALTOS is not set
 # CONFIG_MACH_WAGO_PFC_AM35XX is not set
 # CONFIG_PHYTEC_SOM_AM335X_OF_AUTOENABLE is not set
+# end of OMAP Features
+
 CONFIG_ARM_ASM_UNIFIED=y
 CONFIG_AEABI=y
 CONFIG_THUMB2_BAREBOX=y
+# end of System Type
 
 #
 # ARM specific settings
@@ -79,6 +82,8 @@ CONFIG_ARM_EXCEPTIONS=y
 # CONFIG_ARM_UNWIND is not set
 # CONFIG_ARM_SEMIHOSTING is not set
 # CONFIG_ARM_PSCI is not set
+# end of ARM specific settings
+
 CONFIG_HAS_KALLSYMS=y
 CONFIG_HAS_MODULES=y
 CONFIG_HAS_CACHE=y
@@ -118,6 +123,8 @@ 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
@@ -160,6 +167,7 @@ CONFIG_DEFAULT_COMPRESSION_NONE=y
 # CONFIG_POLLER is not set
 # CONFIG_STATE is not set
 # CONFIG_BOOTCHOOSER is not set
+# end of General Settings
 
 #
 # Debugging
@@ -169,6 +177,9 @@ CONFIG_DEFAULT_LOGLEVEL=7
 # CONFIG_DEBUG_LL is not set
 CONFIG_DEBUG_OMAP_UART_PORT=1
 # CONFIG_DEBUG_INITCALLS is not set
+# CONFIG_PBL_BREAK is not set
+# end of Debugging
+
 CONFIG_HAS_DEBUG_LL=y
 # CONFIG_NET is not set
 
@@ -190,6 +201,7 @@ CONFIG_OF_GPIO=y
 CONFIG_DRIVER_SERIAL_NS16550=y
 CONFIG_DRIVER_SERIAL_NS16550_OMAP_EXTENSIONS=y
 # CONFIG_DRIVER_SERIAL_CADENCE is not set
+# end of serial drivers
 
 #
 # SPI drivers
@@ -199,6 +211,8 @@ CONFIG_SPI_MEM=y
 # CONFIG_DRIVER_SPI_FSL_QUADSPI is not set
 # CONFIG_DRIVER_SPI_GPIO is not set
 CONFIG_DRIVER_SPI_OMAP3=y
+# end of SPI drivers
+
 # CONFIG_I2C is not set
 CONFIG_MTD=y
 # CONFIG_MTD_WRITE is not set
@@ -219,6 +233,8 @@ CONFIG_MTD_M25P80=y
 # CONFIG_MTD_SST25L is not set
 # CONFIG_MTD_DOCG3 is not set
 # CONFIG_MTD_MTDRAM is not set
+# end of Self contained MTD devices
+
 # CONFIG_DRIVER_CFI is not set
 CONFIG_NAND=y
 # CONFIG_NAND_ECC_SOFT is not set
@@ -277,12 +293,14 @@ CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
 CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
 CONFIG_CLOCKSOURCE_TI_DM=y
+# end of Clocksource
 
 #
 # MFD
 #
 # CONFIG_MFD_MC13XXX is not set
 # CONFIG_MFD_SYSCON is not set
+# end of MFD
 
 #
 # Misc devices
@@ -291,17 +309,22 @@ CONFIG_CLOCKSOURCE_TI_DM=y
 # CONFIG_SRAM is not set
 # CONFIG_DEV_MEM is not set
 # CONFIG_UBOOTVAR is not set
+# end of Misc devices
+
 # CONFIG_LED is not set
 
 #
 # EEPROM support
 #
 # CONFIG_EEPROM_AT25 is not set
+# end of EEPROM support
 
 #
 # Input device support
 #
 # CONFIG_KEYBOARD_GPIO is not set
+# end of Input device support
+
 # CONFIG_WATCHDOG is not set
 # CONFIG_PWM is not set
 # CONFIG_HWRNG is not set
@@ -309,6 +332,8 @@ CONFIG_CLOCKSOURCE_TI_DM=y
 #
 # DMA support
 #
+# end of DMA support
+
 CONFIG_GPIOLIB=y
 
 #
@@ -318,6 +343,8 @@ CONFIG_GPIOLIB=y
 # CONFIG_GPIO_GENERIC_PLATFORM is not set
 CONFIG_GPIO_OMAP=y
 # CONFIG_GPIO_DESIGNWARE is not set
+# end of GPIO
+
 # CONFIG_W1 is not set
 
 #
@@ -325,6 +352,8 @@ CONFIG_GPIO_OMAP=y
 #
 CONFIG_PINCTRL=y
 CONFIG_PINCTRL_SINGLE=y
+# end of Pin controllers
+
 # CONFIG_NVMEM is not set
 
 #
@@ -332,6 +361,8 @@ CONFIG_PINCTRL_SINGLE=y
 #
 CONFIG_BUS_OMAP_GPMC=y
 CONFIG_TI_SYSC=y
+# end of Bus devices
+
 # CONFIG_REGULATOR is not set
 # CONFIG_RESET_CONTROLLER is not set
 # CONFIG_RTC_CLASS is not set
@@ -340,20 +371,26 @@ CONFIG_TI_SYSC=y
 # Firmware Drivers
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+# 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
@@ -399,6 +436,7 @@ CONFIG_FS_FAT_LFN=y
 #
 # ZSTD support disabled
 #
+# end of Filesystem support
 
 #
 # Library routines
@@ -420,10 +458,13 @@ CONFIG_XYMODEM=y
 #
 # Library gui routines
 #
+# end of Library gui routines
+
 # CONFIG_BAREBOX_LOGO is not set
 # CONFIG_BOOTSTRAP is not set
 # CONFIG_NLS is not set
 # CONFIG_BLOBGEN is not set
+# end of Library routines
 
 #
 # Crypto support
@@ -431,13 +472,16 @@ CONFIG_XYMODEM=y
 CONFIG_CRC_ITU_T=y
 # CONFIG_DIGEST 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-am335x.config b/configs/platform-v7a/barebox-am335x.config
index 1bba5acfd8af..1ffeefd6468e 100644
--- a/configs/platform-v7a/barebox-am335x.config
+++ b/configs/platform-v7a/barebox-am335x.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2019.07.0 Configuration
+# Barebox/arm 2019.08.1 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -30,7 +30,7 @@ CONFIG_ARCH_OMAP=y
 # CONFIG_ARCH_S3C24xx is not set
 # CONFIG_ARCH_S5PCxx is not set
 # CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP1 is not set
+# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
 # CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
@@ -70,11 +70,14 @@ CONFIG_MACH_BEAGLEBONE=y
 # CONFIG_MACH_PHYTEC_SOM_AM335X is not set
 # CONFIG_MACH_VSCOM_BALTOS is not set
 # CONFIG_MACH_WAGO_PFC_AM35XX is not set
+# end of OMAP Features
+
 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
@@ -84,6 +87,8 @@ CONFIG_ARM_EXCEPTIONS=y
 CONFIG_ARM_UNWIND=y
 # CONFIG_ARM_SEMIHOSTING is not set
 # CONFIG_ARM_PSCI is not set
+# end of ARM specific settings
+
 CONFIG_HAS_KALLSYMS=y
 CONFIG_HAS_MODULES=y
 CONFIG_HAS_CACHE=y
@@ -134,6 +139,8 @@ 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
@@ -202,6 +209,7 @@ CONFIG_STATE=y
 # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
 # CONFIG_BOOTCHOOSER is not set
 CONFIG_RESET_SOURCE=y
+# end of General Settings
 
 #
 # Debugging
@@ -211,6 +219,9 @@ CONFIG_DEFAULT_LOGLEVEL=6
 # CONFIG_DEBUG_LL is not set
 CONFIG_DEBUG_OMAP_UART_PORT=1
 # CONFIG_DEBUG_INITCALLS is not set
+# CONFIG_PBL_BREAK is not set
+# end of Debugging
+
 CONFIG_HAS_DEBUG_LL=y
 CONFIG_COMMAND_SUPPORT=y
 CONFIG_COMPILE_HASH=y
@@ -235,6 +246,7 @@ CONFIG_CMD_ARM_MMUINFO=y
 CONFIG_CMD_REGULATOR=y
 CONFIG_CMD_VERSION=y
 # CONFIG_CMD_MMC_EXTCSD is not set
+# end of Information
 
 #
 # Boot
@@ -249,6 +261,7 @@ CONFIG_CMD_GO=y
 # CONFIG_CMD_LOADY is not set
 CONFIG_CMD_RESET=y
 CONFIG_CMD_UIMAGE=y
+# end of Boot
 
 #
 # Partition
@@ -257,6 +270,7 @@ CONFIG_CMD_PARTITION=y
 CONFIG_CMD_AUTOMOUNT=y
 CONFIG_CMD_MOUNT=y
 CONFIG_CMD_UMOUNT=y
+# end of Partition
 
 #
 # Environment
@@ -270,6 +284,7 @@ CONFIG_CMD_PRINTENV=y
 CONFIG_CMD_MAGICVAR=y
 CONFIG_CMD_MAGICVAR_HELP=y
 CONFIG_CMD_SAVEENV=y
+# end of Environment
 
 #
 # File
@@ -296,6 +311,7 @@ CONFIG_CMD_SHA1SUM=y
 # CONFIG_CMD_SHA384SUM is not set
 # CONFIG_CMD_SHA512SUM is not set
 CONFIG_CMD_UNCOMPRESS=y
+# end of File
 
 #
 # Shell scripting
@@ -308,6 +324,7 @@ CONFIG_CMD_READF=y
 CONFIG_CMD_SLEEP=y
 CONFIG_CMD_TEST=y
 CONFIG_CMD_TRUE=y
+# end of Shell scripting
 
 #
 # Network
@@ -319,6 +336,7 @@ 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
@@ -333,6 +351,7 @@ CONFIG_CMD_MENU=y
 CONFIG_CMD_MENUTREE=y
 CONFIG_CMD_READLINE=y
 CONFIG_CMD_TIMEOUT=y
+# end of Console and Framebuffer interaction
 
 #
 # Memory
@@ -346,6 +365,7 @@ CONFIG_CMD_MEMSET=y
 CONFIG_CMD_MEMTEST=y
 CONFIG_CMD_MM=y
 CONFIG_CMD_MW=y
+# end of Memory
 
 #
 # Hardware manipulation
@@ -365,6 +385,7 @@ CONFIG_CMD_USB=y
 CONFIG_CMD_USBGADGET=y
 CONFIG_CMD_WD=y
 CONFIG_CMD_WD_DEFAULT_TIMOUT=0
+# end of Hardware manipulation
 
 #
 # Miscellaneous
@@ -385,6 +406,9 @@ CONFIG_CMD_STATE=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=y
 # CONFIG_NET_NETCONSOLE is not set
@@ -414,6 +438,8 @@ CONFIG_OF_BAREBOX_DRIVERS=y
 CONFIG_DRIVER_SERIAL_NS16550=y
 CONFIG_DRIVER_SERIAL_NS16550_OMAP_EXTENSIONS=y
 # CONFIG_DRIVER_SERIAL_CADENCE is not set
+# end of serial drivers
+
 CONFIG_PHYLIB=y
 
 #
@@ -454,9 +480,12 @@ CONFIG_DRIVER_NET_CPSW=y
 #
 # CONFIG_MDIO_BITBANG is not set
 # CONFIG_MDIO_BUS_MUX_GPIO is not set
+# end of phylib
+
 CONFIG_NET_USB=y
 CONFIG_NET_USB_ASIX=y
 CONFIG_NET_USB_SMSC95XX=y
+# end of Network drivers
 
 #
 # SPI drivers
@@ -466,6 +495,8 @@ CONFIG_SPI_MEM=y
 # CONFIG_DRIVER_SPI_FSL_QUADSPI is not set
 CONFIG_DRIVER_SPI_GPIO=y
 CONFIG_DRIVER_SPI_OMAP3=y
+# end of SPI drivers
+
 CONFIG_I2C=y
 CONFIG_I2C_ALGOBIT=y
 
@@ -475,6 +506,8 @@ CONFIG_I2C_ALGOBIT=y
 CONFIG_I2C_GPIO=y
 # CONFIG_I2C_DESIGNWARE is not set
 CONFIG_I2C_OMAP=y
+# end of I2C Hardware Bus support
+
 # CONFIG_I2C_MUX is not set
 CONFIG_MTD=y
 CONFIG_MTD_WRITE=y
@@ -495,6 +528,8 @@ CONFIG_MTD_M25P80=y
 # CONFIG_MTD_SST25L is not set
 # CONFIG_MTD_DOCG3 is not set
 # CONFIG_MTD_MTDRAM is not set
+# end of Self contained MTD devices
+
 # CONFIG_DRIVER_CFI is not set
 CONFIG_NAND=y
 CONFIG_NAND_ECC_SOFT=y
@@ -581,6 +616,7 @@ CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
 CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
 CONFIG_CLOCKSOURCE_TI_DM=y
+# end of Clocksource
 
 #
 # MFD
@@ -596,6 +632,7 @@ CONFIG_CLOCKSOURCE_TI_DM=y
 # CONFIG_MFD_SYSCON is not set
 # CONFIG_MFD_TWL4030 is not set
 # CONFIG_MFD_TWL6030 is not set
+# end of MFD
 
 #
 # Misc devices
@@ -605,6 +642,8 @@ CONFIG_CLOCKSOURCE_TI_DM=y
 CONFIG_STATE_DRV=y
 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
@@ -618,6 +657,7 @@ CONFIG_LED_TRIGGERS=y
 #
 # CONFIG_EEPROM_AT25 is not set
 CONFIG_EEPROM_AT24=y
+# end of EEPROM support
 
 #
 # Input device support
@@ -625,6 +665,8 @@ CONFIG_EEPROM_AT24=y
 # CONFIG_KEYBOARD_GPIO is not set
 # CONFIG_KEYBOARD_QT1070 is not set
 # CONFIG_KEYBOARD_USB is not set
+# end of Input device support
+
 CONFIG_WATCHDOG=y
 # CONFIG_WATCHDOG_POLLER is not set
 # CONFIG_WATCHDOG_DW is not set
@@ -635,6 +677,8 @@ CONFIG_HWRNG=y
 #
 # DMA support
 #
+# end of DMA support
+
 CONFIG_GPIOLIB=y
 
 #
@@ -648,6 +692,8 @@ CONFIG_GPIO_OMAP=y
 # CONFIG_GPIO_PCF857X is not set
 # CONFIG_GPIO_DESIGNWARE is not set
 # CONFIG_GPIO_SX150X is not set
+# end of GPIO
+
 # CONFIG_W1 is not set
 
 #
@@ -655,6 +701,8 @@ CONFIG_GPIO_OMAP=y
 #
 CONFIG_PINCTRL=y
 CONFIG_PINCTRL_SINGLE=y
+# end of Pin controllers
+
 # CONFIG_NVMEM is not set
 
 #
@@ -662,6 +710,8 @@ CONFIG_PINCTRL_SINGLE=y
 #
 CONFIG_BUS_OMAP_GPMC=y
 CONFIG_TI_SYSC=y
+# end of Bus devices
+
 CONFIG_REGULATOR=y
 # CONFIG_REGULATOR_FIXED is not set
 # CONFIG_RESET_CONTROLLER is not set
@@ -671,20 +721,26 @@ CONFIG_REGULATOR=y
 # Firmware Drivers
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+# 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
@@ -733,6 +789,7 @@ CONFIG_FS_FAT_LFN=y
 #
 # ZSTD support disabled
 #
+# end of Filesystem support
 
 #
 # Library routines
@@ -764,9 +821,12 @@ CONFIG_IMAGE_SPARSE=y
 #
 # Library gui routines
 #
+# end of Library gui routines
+
 # CONFIG_BAREBOX_LOGO is not set
 # CONFIG_NLS is not set
 # CONFIG_BLOBGEN is not set
+# end of Library routines
 
 #
 # Crypto support
@@ -787,13 +847,16 @@ CONFIG_DIGEST_HMAC_GENERIC=y
 # CONFIG_DIGEST_SHA1_ARM is not set
 # CONFIG_DIGEST_SHA256_ARM is not set
 CONFIG_CRYPTO_KEYSTORE=y
+# 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-am335x.config.diff b/configs/platform-v7a/barebox-am335x.config.diff
index d686e3fa62ae..ac11713a9abe 100644
--- a/configs/platform-v7a/barebox-am335x.config.diff
+++ b/configs/platform-v7a/barebox-am335x.config.diff
@@ -1,4 +1,4 @@
-d52e3b915cb568f3ec9ddd9d7657da12
+8fdac5cea1dd13f3b0fbae5c0ea20c43
 # CONFIG_AM33XX_NET_BOOT is not set
 CONFIG_ARCH_AM33XX=y
 # CONFIG_ARCH_BCM283X is not set
diff --git a/configs/platform-v7a/barebox-mx6.config b/configs/platform-v7a/barebox-mx6.config
index 106484c1a1cc..8ebb9225e506 100644
--- a/configs/platform-v7a/barebox-mx6.config
+++ b/configs/platform-v7a/barebox-mx6.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2019.07.0 Configuration
+# Barebox/arm 2019.08.1 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -29,7 +29,7 @@ CONFIG_ARCH_IMX=y
 # CONFIG_ARCH_S3C24xx is not set
 # CONFIG_ARCH_S5PCxx is not set
 # CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP1 is not set
+# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
 # CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
@@ -105,7 +105,7 @@ CONFIG_MACH_UDOO_NEO=y
 # CONFIG_MACH_ZII_RDU2 is not set
 # CONFIG_MACH_ZII_IMX8MQ_DEV is not set
 # CONFIG_MACH_ZII_VF610_DEV is not set
-# CONFIG_MACH_ZII_IMX7D_RPU2 is not set
+# CONFIG_MACH_ZII_IMX7D_DEV is not set
 # CONFIG_MACH_PHYTEC_PHYCORE_IMX7 is not set
 # CONFIG_MACH_FREESCALE_MX7_SABRESD is not set
 # CONFIG_MACH_NXP_IMX6ULL_EVK is not set
@@ -117,6 +117,7 @@ CONFIG_MACH_UDOO_NEO=y
 #
 # Board specific settings
 #
+# end of Board specific settings
 
 #
 # i.MX specific settings
@@ -124,10 +125,13 @@ CONFIG_MACH_UDOO_NEO=y
 CONFIG_IMX_IIM=y
 CONFIG_IMX_IIM_FUSE_BLOW=y
 # CONFIG_HABV4 is not set
+# end of i.MX specific settings
+
 CONFIG_ARM_ASM_UNIFIED=y
 CONFIG_AEABI=y
 CONFIG_THUMB2_BAREBOX=y
 # CONFIG_ARM_BOARD_APPEND_ATAG is not set
+# end of System Type
 
 #
 # ARM specific settings
@@ -137,6 +141,8 @@ CONFIG_ARM_EXCEPTIONS=y
 CONFIG_ARM_UNWIND=y
 # CONFIG_ARM_SEMIHOSTING is not set
 # CONFIG_ARM_PSCI is not set
+# end of ARM specific settings
+
 CONFIG_GREGORIAN_CALENDER=y
 CONFIG_HAS_KALLSYMS=y
 CONFIG_HAS_MODULES=y
@@ -190,6 +196,8 @@ 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
@@ -261,6 +269,7 @@ CONFIG_STATE=y
 # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
 # CONFIG_BOOTCHOOSER is not set
 CONFIG_RESET_SOURCE=y
+# end of General Settings
 
 #
 # Debugging
@@ -270,6 +279,9 @@ CONFIG_DEFAULT_LOGLEVEL=6
 # CONFIG_DEBUG_LL is not set
 CONFIG_DEBUG_IMX_UART_PORT=1
 # CONFIG_DEBUG_INITCALLS is not set
+# CONFIG_PBL_BREAK is not set
+# end of Debugging
+
 CONFIG_HAS_DEBUG_LL=y
 CONFIG_COMMAND_SUPPORT=y
 CONFIG_COMPILE_HASH=y
@@ -294,6 +306,7 @@ CONFIG_CMD_ARM_MMUINFO=y
 CONFIG_CMD_REGULATOR=y
 CONFIG_CMD_VERSION=y
 CONFIG_CMD_MMC_EXTCSD=y
+# end of Information
 
 #
 # Boot
@@ -308,6 +321,7 @@ CONFIG_CMD_GO=y
 # CONFIG_CMD_LOADY is not set
 CONFIG_CMD_RESET=y
 CONFIG_CMD_UIMAGE=y
+# end of Boot
 
 #
 # Partition
@@ -318,6 +332,7 @@ CONFIG_CMD_MOUNT=y
 CONFIG_CMD_UBI=y
 CONFIG_CMD_UBIFORMAT=y
 CONFIG_CMD_UMOUNT=y
+# end of Partition
 
 #
 # Environment
@@ -331,6 +346,7 @@ CONFIG_CMD_PRINTENV=y
 CONFIG_CMD_MAGICVAR=y
 CONFIG_CMD_MAGICVAR_HELP=y
 CONFIG_CMD_SAVEENV=y
+# end of Environment
 
 #
 # File
@@ -357,6 +373,7 @@ CONFIG_CMD_SHA1SUM=y
 # CONFIG_CMD_SHA384SUM is not set
 # CONFIG_CMD_SHA512SUM is not set
 CONFIG_CMD_UNCOMPRESS=y
+# end of File
 
 #
 # Shell scripting
@@ -369,6 +386,7 @@ CONFIG_CMD_READF=y
 CONFIG_CMD_SLEEP=y
 CONFIG_CMD_TEST=y
 CONFIG_CMD_TRUE=y
+# end of Shell scripting
 
 #
 # Network
@@ -380,6 +398,7 @@ 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
@@ -396,6 +415,7 @@ CONFIG_CMD_SPLASH=y
 # CONFIG_CMD_FBTEST is not set
 CONFIG_CMD_READLINE=y
 CONFIG_CMD_TIMEOUT=y
+# end of Console and Framebuffer interaction
 
 #
 # Memory
@@ -409,6 +429,7 @@ CONFIG_CMD_MEMSET=y
 CONFIG_CMD_MEMTEST=y
 CONFIG_CMD_MM=y
 CONFIG_CMD_MW=y
+# end of Memory
 
 #
 # Hardware manipulation
@@ -429,6 +450,7 @@ CONFIG_CMD_USB=y
 CONFIG_CMD_USBGADGET=y
 CONFIG_CMD_WD=y
 CONFIG_CMD_WD_DEFAULT_TIMOUT=0
+# end of Hardware manipulation
 
 #
 # Miscellaneous
@@ -449,6 +471,9 @@ CONFIG_CMD_STATE=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=y
 # CONFIG_NET_NETCONSOLE is not set
@@ -478,6 +503,8 @@ CONFIG_OF_BAREBOX_DRIVERS=y
 CONFIG_DRIVER_SERIAL_IMX=y
 # CONFIG_DRIVER_SERIAL_NS16550 is not set
 # CONFIG_DRIVER_SERIAL_CADENCE is not set
+# end of serial drivers
+
 CONFIG_ARCH_HAS_FEC_IMX=y
 CONFIG_PHYLIB=y
 
@@ -519,9 +546,12 @@ CONFIG_MICREL_PHY=y
 #
 # CONFIG_MDIO_BITBANG is not set
 # CONFIG_MDIO_BUS_MUX_GPIO is not set
+# end of phylib
+
 CONFIG_NET_USB=y
 CONFIG_NET_USB_ASIX=y
 CONFIG_NET_USB_SMSC95XX=y
+# end of Network drivers
 
 #
 # SPI drivers
@@ -532,6 +562,8 @@ CONFIG_SPI_MEM=y
 CONFIG_DRIVER_SPI_GPIO=y
 CONFIG_DRIVER_SPI_IMX=y
 CONFIG_DRIVER_SPI_IMX_2_3=y
+# end of SPI drivers
+
 CONFIG_I2C=y
 CONFIG_I2C_ALGOBIT=y
 
@@ -542,6 +574,8 @@ CONFIG_I2C_GPIO=y
 CONFIG_I2C_IMX=y
 # CONFIG_I2C_DESIGNWARE is not set
 # CONFIG_I2C_MV64XXX is not set
+# end of I2C Hardware Bus support
+
 # CONFIG_I2C_MUX is not set
 CONFIG_MTD=y
 CONFIG_MTD_WRITE=y
@@ -563,6 +597,8 @@ CONFIG_MTD_M25P80=y
 CONFIG_MTD_SST25L=y
 # CONFIG_MTD_DOCG3 is not set
 # CONFIG_MTD_MTDRAM is not set
+# end of Self contained MTD devices
+
 # CONFIG_DRIVER_CFI is not set
 CONFIG_NAND=y
 CONFIG_NAND_ECC_SOFT=y
@@ -684,6 +720,7 @@ CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
 CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 CONFIG_CLOCKSOURCE_IMX_GPT=y
 # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
+# end of Clocksource
 
 #
 # MFD
@@ -699,6 +736,7 @@ CONFIG_CLOCKSOURCE_IMX_GPT=y
 CONFIG_MFD_SYSCON=y
 # CONFIG_MFD_TWL4030 is not set
 # CONFIG_MFD_TWL6030 is not set
+# end of MFD
 
 #
 # Misc devices
@@ -708,6 +746,8 @@ CONFIG_MFD_SYSCON=y
 CONFIG_STATE_DRV=y
 CONFIG_DEV_MEM=y
 # CONFIG_UBOOTVAR is not set
+# end of Misc devices
+
 CONFIG_LED=y
 CONFIG_LED_GPIO=y
 # CONFIG_LED_PWM is not set
@@ -722,6 +762,7 @@ CONFIG_LED_TRIGGERS=y
 #
 CONFIG_EEPROM_AT25=y
 # CONFIG_EEPROM_AT24 is not set
+# end of EEPROM support
 
 #
 # Input device support
@@ -731,6 +772,8 @@ CONFIG_KEYBOARD_GPIO=y
 # CONFIG_KEYBOARD_IMX_KEYPAD is not set
 # CONFIG_KEYBOARD_QT1070 is not set
 # CONFIG_KEYBOARD_USB is not set
+# end of Input device support
+
 CONFIG_WATCHDOG_IMX_RESET_SOURCE=y
 CONFIG_WATCHDOG=y
 # CONFIG_WATCHDOG_POLLER is not set
@@ -744,6 +787,8 @@ CONFIG_PWM_IMX=y
 # DMA support
 #
 CONFIG_MXS_APBH_DMA=y
+# end of DMA support
+
 CONFIG_GPIOLIB=y
 
 #
@@ -756,6 +801,8 @@ CONFIG_GPIO_IMX=y
 # CONFIG_GPIO_PCF857X is not set
 # CONFIG_GPIO_DESIGNWARE is not set
 # CONFIG_GPIO_SX150X is not set
+# end of GPIO
+
 # CONFIG_W1 is not set
 
 #
@@ -764,12 +811,16 @@ CONFIG_GPIO_IMX=y
 CONFIG_PINCTRL=y
 CONFIG_PINCTRL_IMX_IOMUX_V3=y
 # CONFIG_PINCTRL_SINGLE is not set
+# end of Pin controllers
+
 # CONFIG_NVMEM is not set
 
 #
 # Bus devices
 #
 # CONFIG_IMX_WEIM is not set
+# end of Bus devices
+
 CONFIG_REGULATOR=y
 CONFIG_REGULATOR_FIXED=y
 # CONFIG_REGULATOR_PFUZE is not set
@@ -782,12 +833,16 @@ CONFIG_HW_HAS_PCI=y
 #
 # CONFIG_PCI is not set
 # CONFIG_PCI_IMX6 is not set
+# end of PCI bus options
+
 # CONFIG_RTC_CLASS is not set
 
 #
 # Firmware Drivers
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+# end of Firmware Drivers
+
 CONFIG_GENERIC_PHY=y
 CONFIG_USB_NOP_XCEIV=y
 # CONFIG_PHY_FSL_IMX8MQ_USB is not set
@@ -796,14 +851,18 @@ CONFIG_USB_NOP_XCEIV=y
 #
 # 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
@@ -855,6 +914,7 @@ CONFIG_FS_UBIFS_COMPRESSION_LZO=y
 #
 # ZSTD support disabled
 #
+# end of Filesystem support
 
 #
 # Library routines
@@ -895,10 +955,13 @@ CONFIG_IMAGE_RENDERER=y
 CONFIG_PNG=y
 CONFIG_LODEPNG=y
 # CONFIG_PICOPNG is not set
+# 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
+# end of Library routines
 
 #
 # Crypto support
@@ -919,14 +982,17 @@ CONFIG_DIGEST_HMAC_GENERIC=y
 # CONFIG_DIGEST_SHA1_ARM is not set
 # CONFIG_DIGEST_SHA256_ARM is not set
 CONFIG_CRYPTO_KEYSTORE=y
+# end of Crypto support
 
 #
 # Firmware files
 #
 CONFIG_EXTRA_FIRMWARE_DIR="firmware"
+# end of Firmware files
 
 #
 # Host Tools
 #
 # CONFIG_COMPILE_HOST_TOOLS is not set
 # CONFIG_ARCH_IMX_USBLOADER is not set
+# end of Host Tools
diff --git a/configs/platform-v7a/barebox-mx6.config.diff b/configs/platform-v7a/barebox-mx6.config.diff
index aeeb5fb70a41..8cf11cc2f3c3 100644
--- a/configs/platform-v7a/barebox-mx6.config.diff
+++ b/configs/platform-v7a/barebox-mx6.config.diff
@@ -1,4 +1,4 @@
-d52e3b915cb568f3ec9ddd9d7657da12
+8fdac5cea1dd13f3b0fbae5c0ea20c43
 # CONFIG_ARCH_BCM283X is not set
 CONFIG_ARCH_HAS_FEC_IMX=y
 CONFIG_ARCH_HAS_IMX_GPT=y
@@ -136,7 +136,7 @@ CONFIG_MACH_UDOO_NEO=y
 # CONFIG_MACH_VARISCITE_MX6 is not set
 # CONFIG_MACH_VF610_TWR is not set
 # CONFIG_MACH_WARP7 is not set
-# CONFIG_MACH_ZII_IMX7D_RPU2 is not set
+# CONFIG_MACH_ZII_IMX7D_DEV is not set
 # CONFIG_MACH_ZII_IMX8MQ_DEV is not set
 # CONFIG_MACH_ZII_RDU1 is not set
 # CONFIG_MACH_ZII_RDU2 is not set
diff --git a/configs/platform-v7a/barebox-rpi2.config b/configs/platform-v7a/barebox-rpi2.config
index bf9baf83d104..9fadd665c193 100644
--- a/configs/platform-v7a/barebox-rpi2.config
+++ b/configs/platform-v7a/barebox-rpi2.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2019.07.0 Configuration
+# Barebox/arm 2019.08.1 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -29,7 +29,7 @@ CONFIG_ARCH_BCM283X=y
 # CONFIG_ARCH_S3C24xx is not set
 # CONFIG_ARCH_S5PCxx is not set
 # CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP1 is not set
+# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
 # CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
@@ -59,10 +59,13 @@ CONFIG_MACH_RPI_COMMON=y
 CONFIG_MACH_RPI2=y
 CONFIG_MACH_RPI3=y
 # CONFIG_MACH_RPI_CM3 is not set
+# end of select Broadcom BCM283X boards to be built
+
 CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
 CONFIG_AEABI=y
 # CONFIG_THUMB2_BAREBOX is not set
 # CONFIG_ARM_BOARD_APPEND_ATAG is not set
+# end of System Type
 
 #
 # ARM specific settings
@@ -74,6 +77,8 @@ CONFIG_ARM_UNWIND=y
 CONFIG_ARM_SMCCC=y
 CONFIG_ARM_SECURE_MONITOR=y
 # CONFIG_ARM_PSCI is not set
+# end of ARM specific settings
+
 CONFIG_GREGORIAN_CALENDER=y
 CONFIG_HAS_KALLSYMS=y
 CONFIG_HAS_MODULES=y
@@ -125,6 +130,8 @@ CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
 CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
 CONFIG_STACK_SIZE=0x8000
 CONFIG_MALLOC_SIZE=0x400000
+# end of memory layout
+
 # CONFIG_EXPERIMENTAL is not set
 # CONFIG_MALLOC_DLMALLOC is not set
 CONFIG_MALLOC_TLSF=y
@@ -193,6 +200,7 @@ CONFIG_STATE=y
 # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
 # CONFIG_BOOTCHOOSER is not set
 CONFIG_RESET_SOURCE=y
+# end of General Settings
 
 #
 # Debugging
@@ -201,6 +209,9 @@ CONFIG_COMPILE_LOGLEVEL=7
 CONFIG_DEFAULT_LOGLEVEL=6
 # CONFIG_DEBUG_LL is not set
 # CONFIG_DEBUG_INITCALLS is not set
+# CONFIG_PBL_BREAK is not set
+# end of Debugging
+
 CONFIG_HAS_DEBUG_LL=y
 CONFIG_COMMAND_SUPPORT=y
 CONFIG_COMPILE_HASH=y
@@ -225,6 +236,7 @@ CONFIG_CMD_ARM_MMUINFO=y
 CONFIG_CMD_REGULATOR=y
 CONFIG_CMD_VERSION=y
 # CONFIG_CMD_MMC_EXTCSD is not set
+# end of Information
 
 #
 # Boot
@@ -239,6 +251,7 @@ CONFIG_CMD_GO=y
 # CONFIG_CMD_LOADY is not set
 CONFIG_CMD_RESET=y
 CONFIG_CMD_UIMAGE=y
+# end of Boot
 
 #
 # Partition
@@ -247,6 +260,7 @@ CONFIG_CMD_PARTITION=y
 CONFIG_CMD_AUTOMOUNT=y
 CONFIG_CMD_MOUNT=y
 CONFIG_CMD_UMOUNT=y
+# end of Partition
 
 #
 # Environment
@@ -260,6 +274,7 @@ CONFIG_CMD_PRINTENV=y
 CONFIG_CMD_MAGICVAR=y
 CONFIG_CMD_MAGICVAR_HELP=y
 CONFIG_CMD_SAVEENV=y
+# end of Environment
 
 #
 # File
@@ -286,6 +301,7 @@ CONFIG_CMD_SHA1SUM=y
 # CONFIG_CMD_SHA384SUM is not set
 # CONFIG_CMD_SHA512SUM is not set
 CONFIG_CMD_UNCOMPRESS=y
+# end of File
 
 #
 # Shell scripting
@@ -298,6 +314,7 @@ CONFIG_CMD_READF=y
 CONFIG_CMD_SLEEP=y
 CONFIG_CMD_TEST=y
 CONFIG_CMD_TRUE=y
+# end of Shell scripting
 
 #
 # Network
@@ -309,6 +326,7 @@ CONFIG_NET_CMD_IFUP=y
 CONFIG_CMD_PING=y
 CONFIG_CMD_TFTP=y
 CONFIG_CMD_IP_ROUTE_GET=y
+# end of Network
 
 #
 # Console and Framebuffer interaction
@@ -323,6 +341,7 @@ CONFIG_CMD_MENU=y
 CONFIG_CMD_MENUTREE=y
 CONFIG_CMD_READLINE=y
 CONFIG_CMD_TIMEOUT=y
+# end of Console and Framebuffer interaction
 
 #
 # Memory
@@ -336,6 +355,7 @@ CONFIG_CMD_MEMSET=y
 CONFIG_CMD_MEMTEST=y
 CONFIG_CMD_MM=y
 CONFIG_CMD_MW=y
+# end of Memory
 
 #
 # Hardware manipulation
@@ -353,6 +373,7 @@ CONFIG_CMD_USB=y
 CONFIG_CMD_USBGADGET=y
 CONFIG_CMD_WD=y
 CONFIG_CMD_WD_DEFAULT_TIMOUT=0
+# end of Hardware manipulation
 
 #
 # Miscellaneous
@@ -372,6 +393,9 @@ CONFIG_CMD_STATE=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=y
 # CONFIG_NET_NETCONSOLE is not set
@@ -402,6 +426,8 @@ CONFIG_ARM_AMBA=y
 CONFIG_SERIAL_AMBA_PL011=y
 CONFIG_DRIVER_SERIAL_NS16550=y
 # CONFIG_DRIVER_SERIAL_CADENCE is not set
+# end of serial drivers
+
 CONFIG_PHYLIB=y
 
 #
@@ -441,9 +467,12 @@ CONFIG_PHYLIB=y
 #
 # CONFIG_MDIO_BITBANG is not set
 # CONFIG_MDIO_BUS_MUX_GPIO is not set
+# end of phylib
+
 CONFIG_NET_USB=y
 CONFIG_NET_USB_ASIX=y
 CONFIG_NET_USB_SMSC95XX=y
+# end of Network drivers
 
 #
 # SPI drivers
@@ -451,6 +480,8 @@ CONFIG_NET_USB_SMSC95XX=y
 CONFIG_SPI=y
 # CONFIG_SPI_MEM is not set
 CONFIG_DRIVER_SPI_GPIO=y
+# end of SPI drivers
+
 CONFIG_I2C=y
 CONFIG_I2C_ALGOBIT=y
 
@@ -460,6 +491,8 @@ CONFIG_I2C_ALGOBIT=y
 CONFIG_I2C_GPIO=y
 # CONFIG_I2C_DESIGNWARE is not set
 # CONFIG_I2C_MV64XXX is not set
+# end of I2C Hardware Bus support
+
 # CONFIG_I2C_MUX is not set
 CONFIG_MTD=y
 CONFIG_MTD_WRITE=y
@@ -479,6 +512,8 @@ CONFIG_MTD_OOB_DEVICE=y
 # CONFIG_MTD_M25P80 is not set
 # CONFIG_MTD_DOCG3 is not set
 # CONFIG_MTD_MTDRAM is not set
+# end of Self contained MTD devices
+
 # CONFIG_DRIVER_CFI is not set
 # CONFIG_NAND is not set
 # CONFIG_MTD_SPI_NOR is not set
@@ -549,6 +584,7 @@ CONFIG_CLOCKSOURCE_BCM283X=y
 CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
 CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
+# end of Clocksource
 
 #
 # MFD
@@ -564,6 +600,7 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 # CONFIG_MFD_SYSCON is not set
 # CONFIG_MFD_TWL4030 is not set
 # CONFIG_MFD_TWL6030 is not set
+# end of MFD
 
 #
 # Misc devices
@@ -573,6 +610,8 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 CONFIG_STATE_DRV=y
 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
@@ -586,6 +625,7 @@ CONFIG_LED_TRIGGERS=y
 #
 # CONFIG_EEPROM_AT25 is not set
 # CONFIG_EEPROM_AT24 is not set
+# end of EEPROM support
 
 #
 # Input device support
@@ -593,6 +633,8 @@ CONFIG_LED_TRIGGERS=y
 # CONFIG_KEYBOARD_GPIO is not set
 # CONFIG_KEYBOARD_QT1070 is not set
 # CONFIG_KEYBOARD_USB is not set
+# end of Input device support
+
 CONFIG_WATCHDOG=y
 # CONFIG_WATCHDOG_POLLER is not set
 # CONFIG_WATCHDOG_DW is not set
@@ -603,6 +645,8 @@ CONFIG_HWRNG=y
 #
 # DMA support
 #
+# end of DMA support
+
 CONFIG_GPIOLIB=y
 
 #
@@ -615,6 +659,8 @@ CONFIG_GPIOLIB=y
 # 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
 
 #
@@ -623,6 +669,8 @@ CONFIG_GPIOLIB=y
 CONFIG_PINCTRL=y
 CONFIG_PINCTRL_BCM283X=y
 # CONFIG_PINCTRL_SINGLE is not set
+# end of Pin controllers
+
 CONFIG_NVMEM=y
 # CONFIG_NVMEM_SNVS_LPGPR is not set
 # CONFIG_EEPROM_93XX46 is not set
@@ -630,6 +678,8 @@ CONFIG_NVMEM=y
 #
 # Bus devices
 #
+# end of Bus devices
+
 CONFIG_REGULATOR=y
 # CONFIG_REGULATOR_FIXED is not set
 CONFIG_REGULATOR_BCM283X=y
@@ -640,20 +690,26 @@ CONFIG_REGULATOR_BCM283X=y
 # Firmware Drivers
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+# 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
@@ -702,6 +758,7 @@ CONFIG_FS_FAT_LFN=y
 #
 # ZSTD support disabled
 #
+# end of Filesystem support
 
 #
 # Library routines
@@ -732,9 +789,12 @@ CONFIG_QSORT=y
 #
 # Library gui routines
 #
+# end of Library gui routines
+
 # CONFIG_BAREBOX_LOGO is not set
 # CONFIG_NLS is not set
 # CONFIG_BLOBGEN is not set
+# end of Library routines
 
 #
 # Crypto support
@@ -754,13 +814,16 @@ CONFIG_DIGEST_SHA1_GENERIC=y
 # 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-rpi2.config.diff b/configs/platform-v7a/barebox-rpi2.config.diff
index ad0442e8f65a..e322a08e22f0 100644
--- a/configs/platform-v7a/barebox-rpi2.config.diff
+++ b/configs/platform-v7a/barebox-rpi2.config.diff
@@ -1,4 +1,4 @@
-d52e3b915cb568f3ec9ddd9d7657da12
+8fdac5cea1dd13f3b0fbae5c0ea20c43
 CONFIG_DRIVER_SERIAL_NS16550=y
 # CONFIG_EEPROM_93XX46 is not set
 CONFIG_MACH_RPI2=y
diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config
index eb4ff5e738b2..0fa14357bd20 100644
--- a/configs/platform-v7a/barebox-vexpress.config
+++ b/configs/platform-v7a/barebox-vexpress.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2019.07.0 Configuration
+# Barebox/arm 2019.08.1 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -29,7 +29,7 @@ CONFIG_TEXT_BASE=0x0
 # CONFIG_ARCH_S3C24xx is not set
 # CONFIG_ARCH_S5PCxx is not set
 # CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP1 is not set
+# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
 CONFIG_ARCH_VEXPRESS=y
 # CONFIG_ARCH_TEGRA is not set
@@ -55,6 +55,7 @@ CONFIG_MACH_VEXPRESS=y
 CONFIG_AEABI=y
 # CONFIG_THUMB2_BAREBOX is not set
 # CONFIG_ARM_BOARD_APPEND_ATAG is not set
+# end of System Type
 
 #
 # ARM specific settings
@@ -64,6 +65,8 @@ CONFIG_ARM_EXCEPTIONS=y
 CONFIG_ARM_UNWIND=y
 # CONFIG_ARM_SEMIHOSTING is not set
 # CONFIG_ARM_PSCI is not set
+# end of ARM specific settings
+
 CONFIG_GREGORIAN_CALENDER=y
 CONFIG_HAS_KALLSYMS=y
 CONFIG_HAS_MODULES=y
@@ -114,6 +117,8 @@ 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
@@ -182,6 +187,7 @@ CONFIG_STATE=y
 # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
 # CONFIG_BOOTCHOOSER is not set
 CONFIG_RESET_SOURCE=y
+# end of General Settings
 
 #
 # Debugging
@@ -190,6 +196,9 @@ CONFIG_COMPILE_LOGLEVEL=7
 CONFIG_DEFAULT_LOGLEVEL=6
 # CONFIG_DEBUG_LL is not set
 # CONFIG_DEBUG_INITCALLS is not set
+# CONFIG_PBL_BREAK is not set
+# end of Debugging
+
 CONFIG_HAS_DEBUG_LL=y
 CONFIG_COMMAND_SUPPORT=y
 CONFIG_COMPILE_HASH=y
@@ -214,6 +223,7 @@ CONFIG_CMD_ARM_MMUINFO=y
 CONFIG_CMD_REGULATOR=y
 CONFIG_CMD_VERSION=y
 # CONFIG_CMD_MMC_EXTCSD is not set
+# end of Information
 
 #
 # Boot
@@ -228,6 +238,7 @@ CONFIG_CMD_GO=y
 # CONFIG_CMD_LOADY is not set
 CONFIG_CMD_RESET=y
 CONFIG_CMD_UIMAGE=y
+# end of Boot
 
 #
 # Partition
@@ -236,6 +247,7 @@ CONFIG_CMD_PARTITION=y
 CONFIG_CMD_AUTOMOUNT=y
 CONFIG_CMD_MOUNT=y
 CONFIG_CMD_UMOUNT=y
+# end of Partition
 
 #
 # Environment
@@ -249,6 +261,7 @@ CONFIG_CMD_PRINTENV=y
 CONFIG_CMD_MAGICVAR=y
 CONFIG_CMD_MAGICVAR_HELP=y
 CONFIG_CMD_SAVEENV=y
+# end of Environment
 
 #
 # File
@@ -275,6 +288,7 @@ CONFIG_CMD_SHA1SUM=y
 # CONFIG_CMD_SHA384SUM is not set
 # CONFIG_CMD_SHA512SUM is not set
 CONFIG_CMD_UNCOMPRESS=y
+# end of File
 
 #
 # Shell scripting
@@ -287,6 +301,7 @@ CONFIG_CMD_READF=y
 CONFIG_CMD_SLEEP=y
 CONFIG_CMD_TEST=y
 CONFIG_CMD_TRUE=y
+# end of Shell scripting
 
 #
 # Network
@@ -298,6 +313,7 @@ CONFIG_NET_CMD_IFUP=y
 CONFIG_CMD_PING=y
 CONFIG_CMD_TFTP=y
 CONFIG_CMD_IP_ROUTE_GET=y
+# end of Network
 
 #
 # Console and Framebuffer interaction
@@ -312,6 +328,7 @@ CONFIG_CMD_MENU=y
 CONFIG_CMD_MENUTREE=y
 CONFIG_CMD_READLINE=y
 CONFIG_CMD_TIMEOUT=y
+# end of Console and Framebuffer interaction
 
 #
 # Memory
@@ -325,6 +342,7 @@ CONFIG_CMD_MEMSET=y
 CONFIG_CMD_MEMTEST=y
 CONFIG_CMD_MM=y
 CONFIG_CMD_MW=y
+# end of Memory
 
 #
 # Hardware manipulation
@@ -341,6 +359,7 @@ CONFIG_CMD_USB=y
 CONFIG_CMD_USBGADGET=y
 CONFIG_CMD_WD=y
 CONFIG_CMD_WD_DEFAULT_TIMOUT=0
+# end of Hardware manipulation
 
 #
 # Miscellaneous
@@ -360,6 +379,9 @@ CONFIG_CMD_STATE=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=y
 # CONFIG_NET_NETCONSOLE is not set
@@ -389,6 +411,8 @@ CONFIG_ARM_AMBA=y
 CONFIG_SERIAL_AMBA_PL011=y
 # CONFIG_DRIVER_SERIAL_NS16550 is not set
 # CONFIG_DRIVER_SERIAL_CADENCE is not set
+# end of serial drivers
+
 CONFIG_PHYLIB=y
 
 #
@@ -427,15 +451,20 @@ CONFIG_DRIVER_NET_SMC911X=y
 # MII bus device drivers
 #
 # CONFIG_MDIO_BITBANG is not set
+# end of phylib
+
 CONFIG_NET_USB=y
 CONFIG_NET_USB_ASIX=y
 CONFIG_NET_USB_SMSC95XX=y
+# end of Network drivers
 
 #
 # SPI drivers
 #
 CONFIG_SPI=y
 # CONFIG_SPI_MEM is not set
+# end of SPI drivers
+
 CONFIG_I2C=y
 
 #
@@ -443,6 +472,8 @@ CONFIG_I2C=y
 #
 # CONFIG_I2C_DESIGNWARE is not set
 # CONFIG_I2C_MV64XXX is not set
+# end of I2C Hardware Bus support
+
 # CONFIG_I2C_MUX is not set
 CONFIG_MTD=y
 CONFIG_MTD_WRITE=y
@@ -462,6 +493,8 @@ CONFIG_MTD_CONCAT=y
 # CONFIG_MTD_M25P80 is not set
 # CONFIG_MTD_DOCG3 is not set
 # CONFIG_MTD_MTDRAM is not set
+# end of Self contained MTD devices
+
 CONFIG_DRIVER_CFI=y
 CONFIG_DRIVER_CFI_INTEL=y
 CONFIG_DRIVER_CFI_AMD=y
@@ -538,6 +571,7 @@ CONFIG_AMBA_SP804=y
 CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
 CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
+# end of Clocksource
 
 #
 # MFD
@@ -553,6 +587,7 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 # CONFIG_MFD_SYSCON is not set
 # CONFIG_MFD_TWL4030 is not set
 # CONFIG_MFD_TWL6030 is not set
+# end of MFD
 
 #
 # Misc devices
@@ -561,6 +596,8 @@ CONFIG_SRAM=y
 CONFIG_STATE_DRV=y
 CONFIG_DEV_MEM=y
 # CONFIG_UBOOTVAR is not set
+# end of Misc devices
+
 CONFIG_LED=y
 CONFIG_LED_TRIGGERS=y
 # CONFIG_LED_PCA955X is not set
@@ -570,11 +607,14 @@ CONFIG_LED_TRIGGERS=y
 #
 # CONFIG_EEPROM_AT25 is not set
 # CONFIG_EEPROM_AT24 is not set
+# end of EEPROM support
 
 #
 # Input device support
 #
 # CONFIG_KEYBOARD_USB is not set
+# end of Input device support
+
 CONFIG_WATCHDOG=y
 # CONFIG_WATCHDOG_POLLER is not set
 # CONFIG_WATCHDOG_DW is not set
@@ -584,6 +624,8 @@ CONFIG_HWRNG=y
 #
 # DMA support
 #
+# end of DMA support
+
 # CONFIG_W1 is not set
 
 #
@@ -591,11 +633,15 @@ CONFIG_HWRNG=y
 #
 CONFIG_PINCTRL=y
 # CONFIG_PINCTRL_SINGLE is not set
+# end of Pin controllers
+
 # CONFIG_NVMEM is not set
 
 #
 # Bus devices
 #
+# end of Bus devices
+
 CONFIG_REGULATOR=y
 # CONFIG_RESET_CONTROLLER is not set
 # CONFIG_RTC_CLASS is not set
@@ -603,20 +649,26 @@ CONFIG_REGULATOR=y
 #
 # 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
@@ -665,6 +717,7 @@ CONFIG_FS_FAT_LFN=y
 #
 # ZSTD support disabled
 #
+# end of Filesystem support
 
 #
 # Library routines
@@ -695,9 +748,12 @@ CONFIG_QSORT=y
 #
 # Library gui routines
 #
+# end of Library gui routines
+
 # CONFIG_BAREBOX_LOGO is not set
 # CONFIG_NLS is not set
 # CONFIG_BLOBGEN is not set
+# end of Library routines
 
 #
 # Crypto support
@@ -717,13 +773,16 @@ CONFIG_DIGEST_SHA1_GENERIC=y
 # 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-vexpress.config.diff b/configs/platform-v7a/barebox-vexpress.config.diff
index 2f3cd4d021eb..9cf068124418 100644
--- a/configs/platform-v7a/barebox-vexpress.config.diff
+++ b/configs/platform-v7a/barebox-vexpress.config.diff
@@ -1,4 +1,4 @@
-d52e3b915cb568f3ec9ddd9d7657da12
+8fdac5cea1dd13f3b0fbae5c0ea20c43
 CONFIG_AMBA_SP804=y
 # CONFIG_ARCH_BCM283X is not set
 CONFIG_ARCH_VEXPRESS=y
diff --git a/configs/platform-v7a/barebox.config b/configs/platform-v7a/barebox.config
index b78a6165c886..adbbc373824b 100644
--- a/configs/platform-v7a/barebox.config
+++ b/configs/platform-v7a/barebox.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Barebox/arm 2019.07.0 Configuration
+# Barebox/arm 2019.08.1 Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_LINUX=y
@@ -29,7 +29,7 @@ CONFIG_ARCH_BCM283X=y
 # CONFIG_ARCH_S3C24xx is not set
 # CONFIG_ARCH_S5PCxx is not set
 # CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP1 is not set
+# CONFIG_ARCH_STM32MP is not set
 # CONFIG_ARCH_VERSATILE is not set
 # CONFIG_ARCH_VEXPRESS is not set
 # CONFIG_ARCH_TEGRA is not set
@@ -59,10 +59,13 @@ CONFIG_MACH_RPI_COMMON=y
 # CONFIG_MACH_RPI2 is not set
 CONFIG_MACH_RPI3=y
 # CONFIG_MACH_RPI_CM3 is not set
+# end of select Broadcom BCM283X boards to be built
+
 CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
 CONFIG_AEABI=y
 # CONFIG_THUMB2_BAREBOX is not set
 # CONFIG_ARM_BOARD_APPEND_ATAG is not set
+# end of System Type
 
 #
 # ARM specific settings
@@ -74,6 +77,8 @@ CONFIG_ARM_UNWIND=y
 CONFIG_ARM_SMCCC=y
 CONFIG_ARM_SECURE_MONITOR=y
 # CONFIG_ARM_PSCI is not set
+# end of ARM specific settings
+
 CONFIG_GREGORIAN_CALENDER=y
 CONFIG_HAS_KALLSYMS=y
 CONFIG_HAS_MODULES=y
@@ -125,6 +130,8 @@ 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
@@ -193,6 +200,7 @@ CONFIG_STATE=y
 # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
 # CONFIG_BOOTCHOOSER is not set
 CONFIG_RESET_SOURCE=y
+# end of General Settings
 
 #
 # Debugging
@@ -201,6 +209,9 @@ CONFIG_COMPILE_LOGLEVEL=7
 CONFIG_DEFAULT_LOGLEVEL=6
 # CONFIG_DEBUG_LL is not set
 # CONFIG_DEBUG_INITCALLS is not set
+# CONFIG_PBL_BREAK is not set
+# end of Debugging
+
 CONFIG_HAS_DEBUG_LL=y
 CONFIG_COMMAND_SUPPORT=y
 CONFIG_COMPILE_HASH=y
@@ -225,6 +236,7 @@ CONFIG_CMD_ARM_MMUINFO=y
 CONFIG_CMD_REGULATOR=y
 CONFIG_CMD_VERSION=y
 # CONFIG_CMD_MMC_EXTCSD is not set
+# end of Information
 
 #
 # Boot
@@ -239,6 +251,7 @@ CONFIG_CMD_GO=y
 # CONFIG_CMD_LOADY is not set
 CONFIG_CMD_RESET=y
 CONFIG_CMD_UIMAGE=y
+# end of Boot
 
 #
 # Partition
@@ -247,6 +260,7 @@ CONFIG_CMD_PARTITION=y
 CONFIG_CMD_AUTOMOUNT=y
 CONFIG_CMD_MOUNT=y
 CONFIG_CMD_UMOUNT=y
+# end of Partition
 
 #
 # Environment
@@ -260,6 +274,7 @@ CONFIG_CMD_PRINTENV=y
 CONFIG_CMD_MAGICVAR=y
 CONFIG_CMD_MAGICVAR_HELP=y
 CONFIG_CMD_SAVEENV=y
+# end of Environment
 
 #
 # File
@@ -286,6 +301,7 @@ CONFIG_CMD_SHA1SUM=y
 # CONFIG_CMD_SHA384SUM is not set
 # CONFIG_CMD_SHA512SUM is not set
 CONFIG_CMD_UNCOMPRESS=y
+# end of File
 
 #
 # Shell scripting
@@ -298,6 +314,7 @@ CONFIG_CMD_READF=y
 CONFIG_CMD_SLEEP=y
 CONFIG_CMD_TEST=y
 CONFIG_CMD_TRUE=y
+# end of Shell scripting
 
 #
 # Network
@@ -309,6 +326,7 @@ CONFIG_NET_CMD_IFUP=y
 CONFIG_CMD_PING=y
 CONFIG_CMD_TFTP=y
 CONFIG_CMD_IP_ROUTE_GET=y
+# end of Network
 
 #
 # Console and Framebuffer interaction
@@ -323,6 +341,7 @@ CONFIG_CMD_MENU=y
 CONFIG_CMD_MENUTREE=y
 CONFIG_CMD_READLINE=y
 CONFIG_CMD_TIMEOUT=y
+# end of Console and Framebuffer interaction
 
 #
 # Memory
@@ -336,6 +355,7 @@ CONFIG_CMD_MEMSET=y
 CONFIG_CMD_MEMTEST=y
 CONFIG_CMD_MM=y
 CONFIG_CMD_MW=y
+# end of Memory
 
 #
 # Hardware manipulation
@@ -353,6 +373,7 @@ CONFIG_CMD_USB=y
 CONFIG_CMD_USBGADGET=y
 CONFIG_CMD_WD=y
 CONFIG_CMD_WD_DEFAULT_TIMOUT=0
+# end of Hardware manipulation
 
 #
 # Miscellaneous
@@ -372,6 +393,9 @@ CONFIG_CMD_STATE=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=y
 # CONFIG_NET_NETCONSOLE is not set
@@ -402,6 +426,8 @@ CONFIG_ARM_AMBA=y
 # CONFIG_SERIAL_AMBA_PL011 is not set
 # CONFIG_DRIVER_SERIAL_NS16550 is not set
 # CONFIG_DRIVER_SERIAL_CADENCE is not set
+# end of serial drivers
+
 CONFIG_PHYLIB=y
 
 #
@@ -441,9 +467,12 @@ CONFIG_PHYLIB=y
 #
 # CONFIG_MDIO_BITBANG is not set
 # CONFIG_MDIO_BUS_MUX_GPIO is not set
+# end of phylib
+
 CONFIG_NET_USB=y
 CONFIG_NET_USB_ASIX=y
 CONFIG_NET_USB_SMSC95XX=y
+# end of Network drivers
 
 #
 # SPI drivers
@@ -451,6 +480,8 @@ CONFIG_NET_USB_SMSC95XX=y
 CONFIG_SPI=y
 # CONFIG_SPI_MEM is not set
 CONFIG_DRIVER_SPI_GPIO=y
+# end of SPI drivers
+
 CONFIG_I2C=y
 CONFIG_I2C_ALGOBIT=y
 
@@ -460,6 +491,8 @@ CONFIG_I2C_ALGOBIT=y
 CONFIG_I2C_GPIO=y
 # CONFIG_I2C_DESIGNWARE is not set
 # CONFIG_I2C_MV64XXX is not set
+# end of I2C Hardware Bus support
+
 # CONFIG_I2C_MUX is not set
 CONFIG_MTD=y
 CONFIG_MTD_WRITE=y
@@ -479,6 +512,8 @@ CONFIG_MTD_OOB_DEVICE=y
 # CONFIG_MTD_M25P80 is not set
 # CONFIG_MTD_DOCG3 is not set
 # CONFIG_MTD_MTDRAM is not set
+# end of Self contained MTD devices
+
 # CONFIG_DRIVER_CFI is not set
 # CONFIG_NAND is not set
 # CONFIG_MTD_SPI_NOR is not set
@@ -549,6 +584,7 @@ CONFIG_CLOCKSOURCE_BCM283X=y
 CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
 CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
+# end of Clocksource
 
 #
 # MFD
@@ -564,6 +600,7 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 # CONFIG_MFD_SYSCON is not set
 # CONFIG_MFD_TWL4030 is not set
 # CONFIG_MFD_TWL6030 is not set
+# end of MFD
 
 #
 # Misc devices
@@ -573,6 +610,8 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
 CONFIG_STATE_DRV=y
 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
@@ -586,6 +625,7 @@ CONFIG_LED_TRIGGERS=y
 #
 # CONFIG_EEPROM_AT25 is not set
 # CONFIG_EEPROM_AT24 is not set
+# end of EEPROM support
 
 #
 # Input device support
@@ -593,6 +633,8 @@ CONFIG_LED_TRIGGERS=y
 # CONFIG_KEYBOARD_GPIO is not set
 # CONFIG_KEYBOARD_QT1070 is not set
 # CONFIG_KEYBOARD_USB is not set
+# end of Input device support
+
 CONFIG_WATCHDOG=y
 # CONFIG_WATCHDOG_POLLER is not set
 # CONFIG_WATCHDOG_DW is not set
@@ -603,6 +645,8 @@ CONFIG_HWRNG=y
 #
 # DMA support
 #
+# end of DMA support
+
 CONFIG_GPIOLIB=y
 
 #
@@ -615,6 +659,8 @@ CONFIG_GPIOLIB=y
 # 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
 
 #
@@ -623,11 +669,15 @@ CONFIG_GPIOLIB=y
 CONFIG_PINCTRL=y
 # CONFIG_PINCTRL_BCM283X is not set
 # CONFIG_PINCTRL_SINGLE is not set
+# end of Pin controllers
+
 # CONFIG_NVMEM is not set
 
 #
 # Bus devices
 #
+# end of Bus devices
+
 CONFIG_REGULATOR=y
 # CONFIG_REGULATOR_FIXED is not set
 CONFIG_REGULATOR_BCM283X=y
@@ -638,20 +688,26 @@ CONFIG_REGULATOR_BCM283X=y
 # Firmware Drivers
 #
 # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
+# 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
@@ -700,6 +756,7 @@ CONFIG_FS_FAT_LFN=y
 #
 # ZSTD support disabled
 #
+# end of Filesystem support
 
 #
 # Library routines
@@ -730,9 +787,12 @@ CONFIG_QSORT=y
 #
 # Library gui routines
 #
+# end of Library gui routines
+
 # CONFIG_BAREBOX_LOGO is not set
 # CONFIG_NLS is not set
 # CONFIG_BLOBGEN is not set
+# end of Library routines
 
 #
 # Crypto support
@@ -752,13 +812,16 @@ CONFIG_DIGEST_SHA1_GENERIC=y
 # 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/platformconfig b/configs/platform-v7a/platformconfig
index af2ad626fd62..5785db19cf8f 100644
--- a/configs/platform-v7a/platformconfig
+++ b/configs/platform-v7a/platformconfig
@@ -166,8 +166,8 @@ PTXCONF_CONSOLE_SPEED="115200"
 # PTXCONF_AT91BOOTSTRAP2 is not set
 PTXCONF_BAREBOX_COMMON_ARCH_STRING="arm"
 PTXCONF_BAREBOX_COMMON=y
-PTXCONF_BAREBOX_COMMON_VERSION="2019.07.0"
-PTXCONF_BAREBOX_COMMON_MD5="8fb8e8ec3775228c34f7de2096872f51"
+PTXCONF_BAREBOX_COMMON_VERSION="2019.08.1"
+PTXCONF_BAREBOX_COMMON_MD5="7538a4daba730b93d52fb3201c45df3e"
 PTXCONF_BAREBOX_COMMON_NEEDS_HOST_LZOP=y
 PTXCONF_BAREBOX_AM335X_MLO=y
 PTXCONF_BAREBOX_AM335X=y
-- 
2.20.1


_______________________________________________
DistroKit mailing list
DistroKit@pengutronix.de

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [DistroKit]  [PATCH] v7a: barebox: version bump 2019.07.0 → 2019.08.1
  2019-08-21 15:34 [DistroKit] [PATCH] v7a: barebox: version bump 2019.07.0 → 2019.08.1 Roland Hieber
@ 2019-08-21 15:37 ` Roland Hieber
  0 siblings, 0 replies; 2+ messages in thread
From: Roland Hieber @ 2019-08-21 15:37 UTC (permalink / raw)
  To: distrokit

Ah no. I did that on top of Ahmad's last barebox bump patch, which is
not yet applied. Will resend.


On Wed, Aug 21, 2019 at 05:34:21PM +0200, Roland Hieber wrote:
> Signed-off-by: Roland Hieber <rhi@pengutronix.de>
> ---
>  .../platform-v7a/barebox-am335x-mlo.config    | 48 ++++++++++++-
>  configs/platform-v7a/barebox-am335x.config    | 67 ++++++++++++++++-
>  .../platform-v7a/barebox-am335x.config.diff   |  2 +-
>  configs/platform-v7a/barebox-mx6.config       | 72 ++++++++++++++++++-
>  configs/platform-v7a/barebox-mx6.config.diff  |  4 +-
>  configs/platform-v7a/barebox-rpi2.config      | 67 ++++++++++++++++-
>  configs/platform-v7a/barebox-rpi2.config.diff |  2 +-
>  configs/platform-v7a/barebox-vexpress.config  | 63 +++++++++++++++-
>  .../platform-v7a/barebox-vexpress.config.diff |  2 +-
>  configs/platform-v7a/barebox.config           | 67 ++++++++++++++++-
>  configs/platform-v7a/platformconfig           |  4 +-
>  11 files changed, 378 insertions(+), 20 deletions(-)
> 
> diff --git a/configs/platform-v7a/barebox-am335x-mlo.config b/configs/platform-v7a/barebox-am335x-mlo.config
> index c056669d9d9a..bb75689ac100 100644
> --- a/configs/platform-v7a/barebox-am335x-mlo.config
> +++ b/configs/platform-v7a/barebox-am335x-mlo.config
> @@ -1,6 +1,6 @@
>  #
>  # Automatically generated file; DO NOT EDIT.
> -# Barebox/arm 2019.07.0 Configuration
> +# Barebox/arm 2019.08.1 Configuration
>  #
>  CONFIG_ARM=y
>  CONFIG_ARM_USE_COMPRESSED_DTB=y
> @@ -29,7 +29,7 @@ CONFIG_ARCH_OMAP=y
>  # CONFIG_ARCH_S3C24xx is not set
>  # CONFIG_ARCH_S5PCxx is not set
>  # CONFIG_ARCH_S3C64xx is not set
> -# CONFIG_ARCH_STM32MP1 is not set
> +# CONFIG_ARCH_STM32MP is not set
>  # CONFIG_ARCH_VERSATILE is not set
>  # CONFIG_ARCH_VEXPRESS is not set
>  # CONFIG_ARCH_TEGRA is not set
> @@ -67,9 +67,12 @@ CONFIG_MACH_PHYTEC_SOM_AM335X=y
>  # CONFIG_MACH_VSCOM_BALTOS is not set
>  # CONFIG_MACH_WAGO_PFC_AM35XX is not set
>  # CONFIG_PHYTEC_SOM_AM335X_OF_AUTOENABLE is not set
> +# end of OMAP Features
> +
>  CONFIG_ARM_ASM_UNIFIED=y
>  CONFIG_AEABI=y
>  CONFIG_THUMB2_BAREBOX=y
> +# end of System Type
>  
>  #
>  # ARM specific settings
> @@ -79,6 +82,8 @@ CONFIG_ARM_EXCEPTIONS=y
>  # CONFIG_ARM_UNWIND is not set
>  # CONFIG_ARM_SEMIHOSTING is not set
>  # CONFIG_ARM_PSCI is not set
> +# end of ARM specific settings
> +
>  CONFIG_HAS_KALLSYMS=y
>  CONFIG_HAS_MODULES=y
>  CONFIG_HAS_CACHE=y
> @@ -118,6 +123,8 @@ 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
> @@ -160,6 +167,7 @@ CONFIG_DEFAULT_COMPRESSION_NONE=y
>  # CONFIG_POLLER is not set
>  # CONFIG_STATE is not set
>  # CONFIG_BOOTCHOOSER is not set
> +# end of General Settings
>  
>  #
>  # Debugging
> @@ -169,6 +177,9 @@ CONFIG_DEFAULT_LOGLEVEL=7
>  # CONFIG_DEBUG_LL is not set
>  CONFIG_DEBUG_OMAP_UART_PORT=1
>  # CONFIG_DEBUG_INITCALLS is not set
> +# CONFIG_PBL_BREAK is not set
> +# end of Debugging
> +
>  CONFIG_HAS_DEBUG_LL=y
>  # CONFIG_NET is not set
>  
> @@ -190,6 +201,7 @@ CONFIG_OF_GPIO=y
>  CONFIG_DRIVER_SERIAL_NS16550=y
>  CONFIG_DRIVER_SERIAL_NS16550_OMAP_EXTENSIONS=y
>  # CONFIG_DRIVER_SERIAL_CADENCE is not set
> +# end of serial drivers
>  
>  #
>  # SPI drivers
> @@ -199,6 +211,8 @@ CONFIG_SPI_MEM=y
>  # CONFIG_DRIVER_SPI_FSL_QUADSPI is not set
>  # CONFIG_DRIVER_SPI_GPIO is not set
>  CONFIG_DRIVER_SPI_OMAP3=y
> +# end of SPI drivers
> +
>  # CONFIG_I2C is not set
>  CONFIG_MTD=y
>  # CONFIG_MTD_WRITE is not set
> @@ -219,6 +233,8 @@ CONFIG_MTD_M25P80=y
>  # CONFIG_MTD_SST25L is not set
>  # CONFIG_MTD_DOCG3 is not set
>  # CONFIG_MTD_MTDRAM is not set
> +# end of Self contained MTD devices
> +
>  # CONFIG_DRIVER_CFI is not set
>  CONFIG_NAND=y
>  # CONFIG_NAND_ECC_SOFT is not set
> @@ -277,12 +293,14 @@ CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
>  CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
>  CONFIG_CLOCKSOURCE_TI_DM=y
> +# end of Clocksource
>  
>  #
>  # MFD
>  #
>  # CONFIG_MFD_MC13XXX is not set
>  # CONFIG_MFD_SYSCON is not set
> +# end of MFD
>  
>  #
>  # Misc devices
> @@ -291,17 +309,22 @@ CONFIG_CLOCKSOURCE_TI_DM=y
>  # CONFIG_SRAM is not set
>  # CONFIG_DEV_MEM is not set
>  # CONFIG_UBOOTVAR is not set
> +# end of Misc devices
> +
>  # CONFIG_LED is not set
>  
>  #
>  # EEPROM support
>  #
>  # CONFIG_EEPROM_AT25 is not set
> +# end of EEPROM support
>  
>  #
>  # Input device support
>  #
>  # CONFIG_KEYBOARD_GPIO is not set
> +# end of Input device support
> +
>  # CONFIG_WATCHDOG is not set
>  # CONFIG_PWM is not set
>  # CONFIG_HWRNG is not set
> @@ -309,6 +332,8 @@ CONFIG_CLOCKSOURCE_TI_DM=y
>  #
>  # DMA support
>  #
> +# end of DMA support
> +
>  CONFIG_GPIOLIB=y
>  
>  #
> @@ -318,6 +343,8 @@ CONFIG_GPIOLIB=y
>  # CONFIG_GPIO_GENERIC_PLATFORM is not set
>  CONFIG_GPIO_OMAP=y
>  # CONFIG_GPIO_DESIGNWARE is not set
> +# end of GPIO
> +
>  # CONFIG_W1 is not set
>  
>  #
> @@ -325,6 +352,8 @@ CONFIG_GPIO_OMAP=y
>  #
>  CONFIG_PINCTRL=y
>  CONFIG_PINCTRL_SINGLE=y
> +# end of Pin controllers
> +
>  # CONFIG_NVMEM is not set
>  
>  #
> @@ -332,6 +361,8 @@ CONFIG_PINCTRL_SINGLE=y
>  #
>  CONFIG_BUS_OMAP_GPMC=y
>  CONFIG_TI_SYSC=y
> +# end of Bus devices
> +
>  # CONFIG_REGULATOR is not set
>  # CONFIG_RESET_CONTROLLER is not set
>  # CONFIG_RTC_CLASS is not set
> @@ -340,20 +371,26 @@ CONFIG_TI_SYSC=y
>  # Firmware Drivers
>  #
>  # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
> +# 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
> @@ -399,6 +436,7 @@ CONFIG_FS_FAT_LFN=y
>  #
>  # ZSTD support disabled
>  #
> +# end of Filesystem support
>  
>  #
>  # Library routines
> @@ -420,10 +458,13 @@ CONFIG_XYMODEM=y
>  #
>  # Library gui routines
>  #
> +# end of Library gui routines
> +
>  # CONFIG_BAREBOX_LOGO is not set
>  # CONFIG_BOOTSTRAP is not set
>  # CONFIG_NLS is not set
>  # CONFIG_BLOBGEN is not set
> +# end of Library routines
>  
>  #
>  # Crypto support
> @@ -431,13 +472,16 @@ CONFIG_XYMODEM=y
>  CONFIG_CRC_ITU_T=y
>  # CONFIG_DIGEST 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-am335x.config b/configs/platform-v7a/barebox-am335x.config
> index 1bba5acfd8af..1ffeefd6468e 100644
> --- a/configs/platform-v7a/barebox-am335x.config
> +++ b/configs/platform-v7a/barebox-am335x.config
> @@ -1,6 +1,6 @@
>  #
>  # Automatically generated file; DO NOT EDIT.
> -# Barebox/arm 2019.07.0 Configuration
> +# Barebox/arm 2019.08.1 Configuration
>  #
>  CONFIG_ARM=y
>  CONFIG_ARM_LINUX=y
> @@ -30,7 +30,7 @@ CONFIG_ARCH_OMAP=y
>  # CONFIG_ARCH_S3C24xx is not set
>  # CONFIG_ARCH_S5PCxx is not set
>  # CONFIG_ARCH_S3C64xx is not set
> -# CONFIG_ARCH_STM32MP1 is not set
> +# CONFIG_ARCH_STM32MP is not set
>  # CONFIG_ARCH_VERSATILE is not set
>  # CONFIG_ARCH_VEXPRESS is not set
>  # CONFIG_ARCH_TEGRA is not set
> @@ -70,11 +70,14 @@ CONFIG_MACH_BEAGLEBONE=y
>  # CONFIG_MACH_PHYTEC_SOM_AM335X is not set
>  # CONFIG_MACH_VSCOM_BALTOS is not set
>  # CONFIG_MACH_WAGO_PFC_AM35XX is not set
> +# end of OMAP Features
> +
>  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
> @@ -84,6 +87,8 @@ CONFIG_ARM_EXCEPTIONS=y
>  CONFIG_ARM_UNWIND=y
>  # CONFIG_ARM_SEMIHOSTING is not set
>  # CONFIG_ARM_PSCI is not set
> +# end of ARM specific settings
> +
>  CONFIG_HAS_KALLSYMS=y
>  CONFIG_HAS_MODULES=y
>  CONFIG_HAS_CACHE=y
> @@ -134,6 +139,8 @@ 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
> @@ -202,6 +209,7 @@ CONFIG_STATE=y
>  # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
>  # CONFIG_BOOTCHOOSER is not set
>  CONFIG_RESET_SOURCE=y
> +# end of General Settings
>  
>  #
>  # Debugging
> @@ -211,6 +219,9 @@ CONFIG_DEFAULT_LOGLEVEL=6
>  # CONFIG_DEBUG_LL is not set
>  CONFIG_DEBUG_OMAP_UART_PORT=1
>  # CONFIG_DEBUG_INITCALLS is not set
> +# CONFIG_PBL_BREAK is not set
> +# end of Debugging
> +
>  CONFIG_HAS_DEBUG_LL=y
>  CONFIG_COMMAND_SUPPORT=y
>  CONFIG_COMPILE_HASH=y
> @@ -235,6 +246,7 @@ CONFIG_CMD_ARM_MMUINFO=y
>  CONFIG_CMD_REGULATOR=y
>  CONFIG_CMD_VERSION=y
>  # CONFIG_CMD_MMC_EXTCSD is not set
> +# end of Information
>  
>  #
>  # Boot
> @@ -249,6 +261,7 @@ CONFIG_CMD_GO=y
>  # CONFIG_CMD_LOADY is not set
>  CONFIG_CMD_RESET=y
>  CONFIG_CMD_UIMAGE=y
> +# end of Boot
>  
>  #
>  # Partition
> @@ -257,6 +270,7 @@ CONFIG_CMD_PARTITION=y
>  CONFIG_CMD_AUTOMOUNT=y
>  CONFIG_CMD_MOUNT=y
>  CONFIG_CMD_UMOUNT=y
> +# end of Partition
>  
>  #
>  # Environment
> @@ -270,6 +284,7 @@ CONFIG_CMD_PRINTENV=y
>  CONFIG_CMD_MAGICVAR=y
>  CONFIG_CMD_MAGICVAR_HELP=y
>  CONFIG_CMD_SAVEENV=y
> +# end of Environment
>  
>  #
>  # File
> @@ -296,6 +311,7 @@ CONFIG_CMD_SHA1SUM=y
>  # CONFIG_CMD_SHA384SUM is not set
>  # CONFIG_CMD_SHA512SUM is not set
>  CONFIG_CMD_UNCOMPRESS=y
> +# end of File
>  
>  #
>  # Shell scripting
> @@ -308,6 +324,7 @@ CONFIG_CMD_READF=y
>  CONFIG_CMD_SLEEP=y
>  CONFIG_CMD_TEST=y
>  CONFIG_CMD_TRUE=y
> +# end of Shell scripting
>  
>  #
>  # Network
> @@ -319,6 +336,7 @@ 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
> @@ -333,6 +351,7 @@ CONFIG_CMD_MENU=y
>  CONFIG_CMD_MENUTREE=y
>  CONFIG_CMD_READLINE=y
>  CONFIG_CMD_TIMEOUT=y
> +# end of Console and Framebuffer interaction
>  
>  #
>  # Memory
> @@ -346,6 +365,7 @@ CONFIG_CMD_MEMSET=y
>  CONFIG_CMD_MEMTEST=y
>  CONFIG_CMD_MM=y
>  CONFIG_CMD_MW=y
> +# end of Memory
>  
>  #
>  # Hardware manipulation
> @@ -365,6 +385,7 @@ CONFIG_CMD_USB=y
>  CONFIG_CMD_USBGADGET=y
>  CONFIG_CMD_WD=y
>  CONFIG_CMD_WD_DEFAULT_TIMOUT=0
> +# end of Hardware manipulation
>  
>  #
>  # Miscellaneous
> @@ -385,6 +406,9 @@ CONFIG_CMD_STATE=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=y
>  # CONFIG_NET_NETCONSOLE is not set
> @@ -414,6 +438,8 @@ CONFIG_OF_BAREBOX_DRIVERS=y
>  CONFIG_DRIVER_SERIAL_NS16550=y
>  CONFIG_DRIVER_SERIAL_NS16550_OMAP_EXTENSIONS=y
>  # CONFIG_DRIVER_SERIAL_CADENCE is not set
> +# end of serial drivers
> +
>  CONFIG_PHYLIB=y
>  
>  #
> @@ -454,9 +480,12 @@ CONFIG_DRIVER_NET_CPSW=y
>  #
>  # CONFIG_MDIO_BITBANG is not set
>  # CONFIG_MDIO_BUS_MUX_GPIO is not set
> +# end of phylib
> +
>  CONFIG_NET_USB=y
>  CONFIG_NET_USB_ASIX=y
>  CONFIG_NET_USB_SMSC95XX=y
> +# end of Network drivers
>  
>  #
>  # SPI drivers
> @@ -466,6 +495,8 @@ CONFIG_SPI_MEM=y
>  # CONFIG_DRIVER_SPI_FSL_QUADSPI is not set
>  CONFIG_DRIVER_SPI_GPIO=y
>  CONFIG_DRIVER_SPI_OMAP3=y
> +# end of SPI drivers
> +
>  CONFIG_I2C=y
>  CONFIG_I2C_ALGOBIT=y
>  
> @@ -475,6 +506,8 @@ CONFIG_I2C_ALGOBIT=y
>  CONFIG_I2C_GPIO=y
>  # CONFIG_I2C_DESIGNWARE is not set
>  CONFIG_I2C_OMAP=y
> +# end of I2C Hardware Bus support
> +
>  # CONFIG_I2C_MUX is not set
>  CONFIG_MTD=y
>  CONFIG_MTD_WRITE=y
> @@ -495,6 +528,8 @@ CONFIG_MTD_M25P80=y
>  # CONFIG_MTD_SST25L is not set
>  # CONFIG_MTD_DOCG3 is not set
>  # CONFIG_MTD_MTDRAM is not set
> +# end of Self contained MTD devices
> +
>  # CONFIG_DRIVER_CFI is not set
>  CONFIG_NAND=y
>  CONFIG_NAND_ECC_SOFT=y
> @@ -581,6 +616,7 @@ CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
>  CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
>  CONFIG_CLOCKSOURCE_TI_DM=y
> +# end of Clocksource
>  
>  #
>  # MFD
> @@ -596,6 +632,7 @@ CONFIG_CLOCKSOURCE_TI_DM=y
>  # CONFIG_MFD_SYSCON is not set
>  # CONFIG_MFD_TWL4030 is not set
>  # CONFIG_MFD_TWL6030 is not set
> +# end of MFD
>  
>  #
>  # Misc devices
> @@ -605,6 +642,8 @@ CONFIG_CLOCKSOURCE_TI_DM=y
>  CONFIG_STATE_DRV=y
>  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
> @@ -618,6 +657,7 @@ CONFIG_LED_TRIGGERS=y
>  #
>  # CONFIG_EEPROM_AT25 is not set
>  CONFIG_EEPROM_AT24=y
> +# end of EEPROM support
>  
>  #
>  # Input device support
> @@ -625,6 +665,8 @@ CONFIG_EEPROM_AT24=y
>  # CONFIG_KEYBOARD_GPIO is not set
>  # CONFIG_KEYBOARD_QT1070 is not set
>  # CONFIG_KEYBOARD_USB is not set
> +# end of Input device support
> +
>  CONFIG_WATCHDOG=y
>  # CONFIG_WATCHDOG_POLLER is not set
>  # CONFIG_WATCHDOG_DW is not set
> @@ -635,6 +677,8 @@ CONFIG_HWRNG=y
>  #
>  # DMA support
>  #
> +# end of DMA support
> +
>  CONFIG_GPIOLIB=y
>  
>  #
> @@ -648,6 +692,8 @@ CONFIG_GPIO_OMAP=y
>  # CONFIG_GPIO_PCF857X is not set
>  # CONFIG_GPIO_DESIGNWARE is not set
>  # CONFIG_GPIO_SX150X is not set
> +# end of GPIO
> +
>  # CONFIG_W1 is not set
>  
>  #
> @@ -655,6 +701,8 @@ CONFIG_GPIO_OMAP=y
>  #
>  CONFIG_PINCTRL=y
>  CONFIG_PINCTRL_SINGLE=y
> +# end of Pin controllers
> +
>  # CONFIG_NVMEM is not set
>  
>  #
> @@ -662,6 +710,8 @@ CONFIG_PINCTRL_SINGLE=y
>  #
>  CONFIG_BUS_OMAP_GPMC=y
>  CONFIG_TI_SYSC=y
> +# end of Bus devices
> +
>  CONFIG_REGULATOR=y
>  # CONFIG_REGULATOR_FIXED is not set
>  # CONFIG_RESET_CONTROLLER is not set
> @@ -671,20 +721,26 @@ CONFIG_REGULATOR=y
>  # Firmware Drivers
>  #
>  # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
> +# 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
> @@ -733,6 +789,7 @@ CONFIG_FS_FAT_LFN=y
>  #
>  # ZSTD support disabled
>  #
> +# end of Filesystem support
>  
>  #
>  # Library routines
> @@ -764,9 +821,12 @@ CONFIG_IMAGE_SPARSE=y
>  #
>  # Library gui routines
>  #
> +# end of Library gui routines
> +
>  # CONFIG_BAREBOX_LOGO is not set
>  # CONFIG_NLS is not set
>  # CONFIG_BLOBGEN is not set
> +# end of Library routines
>  
>  #
>  # Crypto support
> @@ -787,13 +847,16 @@ CONFIG_DIGEST_HMAC_GENERIC=y
>  # CONFIG_DIGEST_SHA1_ARM is not set
>  # CONFIG_DIGEST_SHA256_ARM is not set
>  CONFIG_CRYPTO_KEYSTORE=y
> +# 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-am335x.config.diff b/configs/platform-v7a/barebox-am335x.config.diff
> index d686e3fa62ae..ac11713a9abe 100644
> --- a/configs/platform-v7a/barebox-am335x.config.diff
> +++ b/configs/platform-v7a/barebox-am335x.config.diff
> @@ -1,4 +1,4 @@
> -d52e3b915cb568f3ec9ddd9d7657da12
> +8fdac5cea1dd13f3b0fbae5c0ea20c43
>  # CONFIG_AM33XX_NET_BOOT is not set
>  CONFIG_ARCH_AM33XX=y
>  # CONFIG_ARCH_BCM283X is not set
> diff --git a/configs/platform-v7a/barebox-mx6.config b/configs/platform-v7a/barebox-mx6.config
> index 106484c1a1cc..8ebb9225e506 100644
> --- a/configs/platform-v7a/barebox-mx6.config
> +++ b/configs/platform-v7a/barebox-mx6.config
> @@ -1,6 +1,6 @@
>  #
>  # Automatically generated file; DO NOT EDIT.
> -# Barebox/arm 2019.07.0 Configuration
> +# Barebox/arm 2019.08.1 Configuration
>  #
>  CONFIG_ARM=y
>  CONFIG_ARM_LINUX=y
> @@ -29,7 +29,7 @@ CONFIG_ARCH_IMX=y
>  # CONFIG_ARCH_S3C24xx is not set
>  # CONFIG_ARCH_S5PCxx is not set
>  # CONFIG_ARCH_S3C64xx is not set
> -# CONFIG_ARCH_STM32MP1 is not set
> +# CONFIG_ARCH_STM32MP is not set
>  # CONFIG_ARCH_VERSATILE is not set
>  # CONFIG_ARCH_VEXPRESS is not set
>  # CONFIG_ARCH_TEGRA is not set
> @@ -105,7 +105,7 @@ CONFIG_MACH_UDOO_NEO=y
>  # CONFIG_MACH_ZII_RDU2 is not set
>  # CONFIG_MACH_ZII_IMX8MQ_DEV is not set
>  # CONFIG_MACH_ZII_VF610_DEV is not set
> -# CONFIG_MACH_ZII_IMX7D_RPU2 is not set
> +# CONFIG_MACH_ZII_IMX7D_DEV is not set
>  # CONFIG_MACH_PHYTEC_PHYCORE_IMX7 is not set
>  # CONFIG_MACH_FREESCALE_MX7_SABRESD is not set
>  # CONFIG_MACH_NXP_IMX6ULL_EVK is not set
> @@ -117,6 +117,7 @@ CONFIG_MACH_UDOO_NEO=y
>  #
>  # Board specific settings
>  #
> +# end of Board specific settings
>  
>  #
>  # i.MX specific settings
> @@ -124,10 +125,13 @@ CONFIG_MACH_UDOO_NEO=y
>  CONFIG_IMX_IIM=y
>  CONFIG_IMX_IIM_FUSE_BLOW=y
>  # CONFIG_HABV4 is not set
> +# end of i.MX specific settings
> +
>  CONFIG_ARM_ASM_UNIFIED=y
>  CONFIG_AEABI=y
>  CONFIG_THUMB2_BAREBOX=y
>  # CONFIG_ARM_BOARD_APPEND_ATAG is not set
> +# end of System Type
>  
>  #
>  # ARM specific settings
> @@ -137,6 +141,8 @@ CONFIG_ARM_EXCEPTIONS=y
>  CONFIG_ARM_UNWIND=y
>  # CONFIG_ARM_SEMIHOSTING is not set
>  # CONFIG_ARM_PSCI is not set
> +# end of ARM specific settings
> +
>  CONFIG_GREGORIAN_CALENDER=y
>  CONFIG_HAS_KALLSYMS=y
>  CONFIG_HAS_MODULES=y
> @@ -190,6 +196,8 @@ 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
> @@ -261,6 +269,7 @@ CONFIG_STATE=y
>  # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
>  # CONFIG_BOOTCHOOSER is not set
>  CONFIG_RESET_SOURCE=y
> +# end of General Settings
>  
>  #
>  # Debugging
> @@ -270,6 +279,9 @@ CONFIG_DEFAULT_LOGLEVEL=6
>  # CONFIG_DEBUG_LL is not set
>  CONFIG_DEBUG_IMX_UART_PORT=1
>  # CONFIG_DEBUG_INITCALLS is not set
> +# CONFIG_PBL_BREAK is not set
> +# end of Debugging
> +
>  CONFIG_HAS_DEBUG_LL=y
>  CONFIG_COMMAND_SUPPORT=y
>  CONFIG_COMPILE_HASH=y
> @@ -294,6 +306,7 @@ CONFIG_CMD_ARM_MMUINFO=y
>  CONFIG_CMD_REGULATOR=y
>  CONFIG_CMD_VERSION=y
>  CONFIG_CMD_MMC_EXTCSD=y
> +# end of Information
>  
>  #
>  # Boot
> @@ -308,6 +321,7 @@ CONFIG_CMD_GO=y
>  # CONFIG_CMD_LOADY is not set
>  CONFIG_CMD_RESET=y
>  CONFIG_CMD_UIMAGE=y
> +# end of Boot
>  
>  #
>  # Partition
> @@ -318,6 +332,7 @@ CONFIG_CMD_MOUNT=y
>  CONFIG_CMD_UBI=y
>  CONFIG_CMD_UBIFORMAT=y
>  CONFIG_CMD_UMOUNT=y
> +# end of Partition
>  
>  #
>  # Environment
> @@ -331,6 +346,7 @@ CONFIG_CMD_PRINTENV=y
>  CONFIG_CMD_MAGICVAR=y
>  CONFIG_CMD_MAGICVAR_HELP=y
>  CONFIG_CMD_SAVEENV=y
> +# end of Environment
>  
>  #
>  # File
> @@ -357,6 +373,7 @@ CONFIG_CMD_SHA1SUM=y
>  # CONFIG_CMD_SHA384SUM is not set
>  # CONFIG_CMD_SHA512SUM is not set
>  CONFIG_CMD_UNCOMPRESS=y
> +# end of File
>  
>  #
>  # Shell scripting
> @@ -369,6 +386,7 @@ CONFIG_CMD_READF=y
>  CONFIG_CMD_SLEEP=y
>  CONFIG_CMD_TEST=y
>  CONFIG_CMD_TRUE=y
> +# end of Shell scripting
>  
>  #
>  # Network
> @@ -380,6 +398,7 @@ 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
> @@ -396,6 +415,7 @@ CONFIG_CMD_SPLASH=y
>  # CONFIG_CMD_FBTEST is not set
>  CONFIG_CMD_READLINE=y
>  CONFIG_CMD_TIMEOUT=y
> +# end of Console and Framebuffer interaction
>  
>  #
>  # Memory
> @@ -409,6 +429,7 @@ CONFIG_CMD_MEMSET=y
>  CONFIG_CMD_MEMTEST=y
>  CONFIG_CMD_MM=y
>  CONFIG_CMD_MW=y
> +# end of Memory
>  
>  #
>  # Hardware manipulation
> @@ -429,6 +450,7 @@ CONFIG_CMD_USB=y
>  CONFIG_CMD_USBGADGET=y
>  CONFIG_CMD_WD=y
>  CONFIG_CMD_WD_DEFAULT_TIMOUT=0
> +# end of Hardware manipulation
>  
>  #
>  # Miscellaneous
> @@ -449,6 +471,9 @@ CONFIG_CMD_STATE=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=y
>  # CONFIG_NET_NETCONSOLE is not set
> @@ -478,6 +503,8 @@ CONFIG_OF_BAREBOX_DRIVERS=y
>  CONFIG_DRIVER_SERIAL_IMX=y
>  # CONFIG_DRIVER_SERIAL_NS16550 is not set
>  # CONFIG_DRIVER_SERIAL_CADENCE is not set
> +# end of serial drivers
> +
>  CONFIG_ARCH_HAS_FEC_IMX=y
>  CONFIG_PHYLIB=y
>  
> @@ -519,9 +546,12 @@ CONFIG_MICREL_PHY=y
>  #
>  # CONFIG_MDIO_BITBANG is not set
>  # CONFIG_MDIO_BUS_MUX_GPIO is not set
> +# end of phylib
> +
>  CONFIG_NET_USB=y
>  CONFIG_NET_USB_ASIX=y
>  CONFIG_NET_USB_SMSC95XX=y
> +# end of Network drivers
>  
>  #
>  # SPI drivers
> @@ -532,6 +562,8 @@ CONFIG_SPI_MEM=y
>  CONFIG_DRIVER_SPI_GPIO=y
>  CONFIG_DRIVER_SPI_IMX=y
>  CONFIG_DRIVER_SPI_IMX_2_3=y
> +# end of SPI drivers
> +
>  CONFIG_I2C=y
>  CONFIG_I2C_ALGOBIT=y
>  
> @@ -542,6 +574,8 @@ CONFIG_I2C_GPIO=y
>  CONFIG_I2C_IMX=y
>  # CONFIG_I2C_DESIGNWARE is not set
>  # CONFIG_I2C_MV64XXX is not set
> +# end of I2C Hardware Bus support
> +
>  # CONFIG_I2C_MUX is not set
>  CONFIG_MTD=y
>  CONFIG_MTD_WRITE=y
> @@ -563,6 +597,8 @@ CONFIG_MTD_M25P80=y
>  CONFIG_MTD_SST25L=y
>  # CONFIG_MTD_DOCG3 is not set
>  # CONFIG_MTD_MTDRAM is not set
> +# end of Self contained MTD devices
> +
>  # CONFIG_DRIVER_CFI is not set
>  CONFIG_NAND=y
>  CONFIG_NAND_ECC_SOFT=y
> @@ -684,6 +720,7 @@ CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
>  CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  CONFIG_CLOCKSOURCE_IMX_GPT=y
>  # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
> +# end of Clocksource
>  
>  #
>  # MFD
> @@ -699,6 +736,7 @@ CONFIG_CLOCKSOURCE_IMX_GPT=y
>  CONFIG_MFD_SYSCON=y
>  # CONFIG_MFD_TWL4030 is not set
>  # CONFIG_MFD_TWL6030 is not set
> +# end of MFD
>  
>  #
>  # Misc devices
> @@ -708,6 +746,8 @@ CONFIG_MFD_SYSCON=y
>  CONFIG_STATE_DRV=y
>  CONFIG_DEV_MEM=y
>  # CONFIG_UBOOTVAR is not set
> +# end of Misc devices
> +
>  CONFIG_LED=y
>  CONFIG_LED_GPIO=y
>  # CONFIG_LED_PWM is not set
> @@ -722,6 +762,7 @@ CONFIG_LED_TRIGGERS=y
>  #
>  CONFIG_EEPROM_AT25=y
>  # CONFIG_EEPROM_AT24 is not set
> +# end of EEPROM support
>  
>  #
>  # Input device support
> @@ -731,6 +772,8 @@ CONFIG_KEYBOARD_GPIO=y
>  # CONFIG_KEYBOARD_IMX_KEYPAD is not set
>  # CONFIG_KEYBOARD_QT1070 is not set
>  # CONFIG_KEYBOARD_USB is not set
> +# end of Input device support
> +
>  CONFIG_WATCHDOG_IMX_RESET_SOURCE=y
>  CONFIG_WATCHDOG=y
>  # CONFIG_WATCHDOG_POLLER is not set
> @@ -744,6 +787,8 @@ CONFIG_PWM_IMX=y
>  # DMA support
>  #
>  CONFIG_MXS_APBH_DMA=y
> +# end of DMA support
> +
>  CONFIG_GPIOLIB=y
>  
>  #
> @@ -756,6 +801,8 @@ CONFIG_GPIO_IMX=y
>  # CONFIG_GPIO_PCF857X is not set
>  # CONFIG_GPIO_DESIGNWARE is not set
>  # CONFIG_GPIO_SX150X is not set
> +# end of GPIO
> +
>  # CONFIG_W1 is not set
>  
>  #
> @@ -764,12 +811,16 @@ CONFIG_GPIO_IMX=y
>  CONFIG_PINCTRL=y
>  CONFIG_PINCTRL_IMX_IOMUX_V3=y
>  # CONFIG_PINCTRL_SINGLE is not set
> +# end of Pin controllers
> +
>  # CONFIG_NVMEM is not set
>  
>  #
>  # Bus devices
>  #
>  # CONFIG_IMX_WEIM is not set
> +# end of Bus devices
> +
>  CONFIG_REGULATOR=y
>  CONFIG_REGULATOR_FIXED=y
>  # CONFIG_REGULATOR_PFUZE is not set
> @@ -782,12 +833,16 @@ CONFIG_HW_HAS_PCI=y
>  #
>  # CONFIG_PCI is not set
>  # CONFIG_PCI_IMX6 is not set
> +# end of PCI bus options
> +
>  # CONFIG_RTC_CLASS is not set
>  
>  #
>  # Firmware Drivers
>  #
>  # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
> +# end of Firmware Drivers
> +
>  CONFIG_GENERIC_PHY=y
>  CONFIG_USB_NOP_XCEIV=y
>  # CONFIG_PHY_FSL_IMX8MQ_USB is not set
> @@ -796,14 +851,18 @@ CONFIG_USB_NOP_XCEIV=y
>  #
>  # 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
> @@ -855,6 +914,7 @@ CONFIG_FS_UBIFS_COMPRESSION_LZO=y
>  #
>  # ZSTD support disabled
>  #
> +# end of Filesystem support
>  
>  #
>  # Library routines
> @@ -895,10 +955,13 @@ CONFIG_IMAGE_RENDERER=y
>  CONFIG_PNG=y
>  CONFIG_LODEPNG=y
>  # CONFIG_PICOPNG is not set
> +# 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
> +# end of Library routines
>  
>  #
>  # Crypto support
> @@ -919,14 +982,17 @@ CONFIG_DIGEST_HMAC_GENERIC=y
>  # CONFIG_DIGEST_SHA1_ARM is not set
>  # CONFIG_DIGEST_SHA256_ARM is not set
>  CONFIG_CRYPTO_KEYSTORE=y
> +# end of Crypto support
>  
>  #
>  # Firmware files
>  #
>  CONFIG_EXTRA_FIRMWARE_DIR="firmware"
> +# end of Firmware files
>  
>  #
>  # Host Tools
>  #
>  # CONFIG_COMPILE_HOST_TOOLS is not set
>  # CONFIG_ARCH_IMX_USBLOADER is not set
> +# end of Host Tools
> diff --git a/configs/platform-v7a/barebox-mx6.config.diff b/configs/platform-v7a/barebox-mx6.config.diff
> index aeeb5fb70a41..8cf11cc2f3c3 100644
> --- a/configs/platform-v7a/barebox-mx6.config.diff
> +++ b/configs/platform-v7a/barebox-mx6.config.diff
> @@ -1,4 +1,4 @@
> -d52e3b915cb568f3ec9ddd9d7657da12
> +8fdac5cea1dd13f3b0fbae5c0ea20c43
>  # CONFIG_ARCH_BCM283X is not set
>  CONFIG_ARCH_HAS_FEC_IMX=y
>  CONFIG_ARCH_HAS_IMX_GPT=y
> @@ -136,7 +136,7 @@ CONFIG_MACH_UDOO_NEO=y
>  # CONFIG_MACH_VARISCITE_MX6 is not set
>  # CONFIG_MACH_VF610_TWR is not set
>  # CONFIG_MACH_WARP7 is not set
> -# CONFIG_MACH_ZII_IMX7D_RPU2 is not set
> +# CONFIG_MACH_ZII_IMX7D_DEV is not set
>  # CONFIG_MACH_ZII_IMX8MQ_DEV is not set
>  # CONFIG_MACH_ZII_RDU1 is not set
>  # CONFIG_MACH_ZII_RDU2 is not set
> diff --git a/configs/platform-v7a/barebox-rpi2.config b/configs/platform-v7a/barebox-rpi2.config
> index bf9baf83d104..9fadd665c193 100644
> --- a/configs/platform-v7a/barebox-rpi2.config
> +++ b/configs/platform-v7a/barebox-rpi2.config
> @@ -1,6 +1,6 @@
>  #
>  # Automatically generated file; DO NOT EDIT.
> -# Barebox/arm 2019.07.0 Configuration
> +# Barebox/arm 2019.08.1 Configuration
>  #
>  CONFIG_ARM=y
>  CONFIG_ARM_LINUX=y
> @@ -29,7 +29,7 @@ CONFIG_ARCH_BCM283X=y
>  # CONFIG_ARCH_S3C24xx is not set
>  # CONFIG_ARCH_S5PCxx is not set
>  # CONFIG_ARCH_S3C64xx is not set
> -# CONFIG_ARCH_STM32MP1 is not set
> +# CONFIG_ARCH_STM32MP is not set
>  # CONFIG_ARCH_VERSATILE is not set
>  # CONFIG_ARCH_VEXPRESS is not set
>  # CONFIG_ARCH_TEGRA is not set
> @@ -59,10 +59,13 @@ CONFIG_MACH_RPI_COMMON=y
>  CONFIG_MACH_RPI2=y
>  CONFIG_MACH_RPI3=y
>  # CONFIG_MACH_RPI_CM3 is not set
> +# end of select Broadcom BCM283X boards to be built
> +
>  CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
>  CONFIG_AEABI=y
>  # CONFIG_THUMB2_BAREBOX is not set
>  # CONFIG_ARM_BOARD_APPEND_ATAG is not set
> +# end of System Type
>  
>  #
>  # ARM specific settings
> @@ -74,6 +77,8 @@ CONFIG_ARM_UNWIND=y
>  CONFIG_ARM_SMCCC=y
>  CONFIG_ARM_SECURE_MONITOR=y
>  # CONFIG_ARM_PSCI is not set
> +# end of ARM specific settings
> +
>  CONFIG_GREGORIAN_CALENDER=y
>  CONFIG_HAS_KALLSYMS=y
>  CONFIG_HAS_MODULES=y
> @@ -125,6 +130,8 @@ CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
>  CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
>  CONFIG_STACK_SIZE=0x8000
>  CONFIG_MALLOC_SIZE=0x400000
> +# end of memory layout
> +
>  # CONFIG_EXPERIMENTAL is not set
>  # CONFIG_MALLOC_DLMALLOC is not set
>  CONFIG_MALLOC_TLSF=y
> @@ -193,6 +200,7 @@ CONFIG_STATE=y
>  # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
>  # CONFIG_BOOTCHOOSER is not set
>  CONFIG_RESET_SOURCE=y
> +# end of General Settings
>  
>  #
>  # Debugging
> @@ -201,6 +209,9 @@ CONFIG_COMPILE_LOGLEVEL=7
>  CONFIG_DEFAULT_LOGLEVEL=6
>  # CONFIG_DEBUG_LL is not set
>  # CONFIG_DEBUG_INITCALLS is not set
> +# CONFIG_PBL_BREAK is not set
> +# end of Debugging
> +
>  CONFIG_HAS_DEBUG_LL=y
>  CONFIG_COMMAND_SUPPORT=y
>  CONFIG_COMPILE_HASH=y
> @@ -225,6 +236,7 @@ CONFIG_CMD_ARM_MMUINFO=y
>  CONFIG_CMD_REGULATOR=y
>  CONFIG_CMD_VERSION=y
>  # CONFIG_CMD_MMC_EXTCSD is not set
> +# end of Information
>  
>  #
>  # Boot
> @@ -239,6 +251,7 @@ CONFIG_CMD_GO=y
>  # CONFIG_CMD_LOADY is not set
>  CONFIG_CMD_RESET=y
>  CONFIG_CMD_UIMAGE=y
> +# end of Boot
>  
>  #
>  # Partition
> @@ -247,6 +260,7 @@ CONFIG_CMD_PARTITION=y
>  CONFIG_CMD_AUTOMOUNT=y
>  CONFIG_CMD_MOUNT=y
>  CONFIG_CMD_UMOUNT=y
> +# end of Partition
>  
>  #
>  # Environment
> @@ -260,6 +274,7 @@ CONFIG_CMD_PRINTENV=y
>  CONFIG_CMD_MAGICVAR=y
>  CONFIG_CMD_MAGICVAR_HELP=y
>  CONFIG_CMD_SAVEENV=y
> +# end of Environment
>  
>  #
>  # File
> @@ -286,6 +301,7 @@ CONFIG_CMD_SHA1SUM=y
>  # CONFIG_CMD_SHA384SUM is not set
>  # CONFIG_CMD_SHA512SUM is not set
>  CONFIG_CMD_UNCOMPRESS=y
> +# end of File
>  
>  #
>  # Shell scripting
> @@ -298,6 +314,7 @@ CONFIG_CMD_READF=y
>  CONFIG_CMD_SLEEP=y
>  CONFIG_CMD_TEST=y
>  CONFIG_CMD_TRUE=y
> +# end of Shell scripting
>  
>  #
>  # Network
> @@ -309,6 +326,7 @@ CONFIG_NET_CMD_IFUP=y
>  CONFIG_CMD_PING=y
>  CONFIG_CMD_TFTP=y
>  CONFIG_CMD_IP_ROUTE_GET=y
> +# end of Network
>  
>  #
>  # Console and Framebuffer interaction
> @@ -323,6 +341,7 @@ CONFIG_CMD_MENU=y
>  CONFIG_CMD_MENUTREE=y
>  CONFIG_CMD_READLINE=y
>  CONFIG_CMD_TIMEOUT=y
> +# end of Console and Framebuffer interaction
>  
>  #
>  # Memory
> @@ -336,6 +355,7 @@ CONFIG_CMD_MEMSET=y
>  CONFIG_CMD_MEMTEST=y
>  CONFIG_CMD_MM=y
>  CONFIG_CMD_MW=y
> +# end of Memory
>  
>  #
>  # Hardware manipulation
> @@ -353,6 +373,7 @@ CONFIG_CMD_USB=y
>  CONFIG_CMD_USBGADGET=y
>  CONFIG_CMD_WD=y
>  CONFIG_CMD_WD_DEFAULT_TIMOUT=0
> +# end of Hardware manipulation
>  
>  #
>  # Miscellaneous
> @@ -372,6 +393,9 @@ CONFIG_CMD_STATE=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=y
>  # CONFIG_NET_NETCONSOLE is not set
> @@ -402,6 +426,8 @@ CONFIG_ARM_AMBA=y
>  CONFIG_SERIAL_AMBA_PL011=y
>  CONFIG_DRIVER_SERIAL_NS16550=y
>  # CONFIG_DRIVER_SERIAL_CADENCE is not set
> +# end of serial drivers
> +
>  CONFIG_PHYLIB=y
>  
>  #
> @@ -441,9 +467,12 @@ CONFIG_PHYLIB=y
>  #
>  # CONFIG_MDIO_BITBANG is not set
>  # CONFIG_MDIO_BUS_MUX_GPIO is not set
> +# end of phylib
> +
>  CONFIG_NET_USB=y
>  CONFIG_NET_USB_ASIX=y
>  CONFIG_NET_USB_SMSC95XX=y
> +# end of Network drivers
>  
>  #
>  # SPI drivers
> @@ -451,6 +480,8 @@ CONFIG_NET_USB_SMSC95XX=y
>  CONFIG_SPI=y
>  # CONFIG_SPI_MEM is not set
>  CONFIG_DRIVER_SPI_GPIO=y
> +# end of SPI drivers
> +
>  CONFIG_I2C=y
>  CONFIG_I2C_ALGOBIT=y
>  
> @@ -460,6 +491,8 @@ CONFIG_I2C_ALGOBIT=y
>  CONFIG_I2C_GPIO=y
>  # CONFIG_I2C_DESIGNWARE is not set
>  # CONFIG_I2C_MV64XXX is not set
> +# end of I2C Hardware Bus support
> +
>  # CONFIG_I2C_MUX is not set
>  CONFIG_MTD=y
>  CONFIG_MTD_WRITE=y
> @@ -479,6 +512,8 @@ CONFIG_MTD_OOB_DEVICE=y
>  # CONFIG_MTD_M25P80 is not set
>  # CONFIG_MTD_DOCG3 is not set
>  # CONFIG_MTD_MTDRAM is not set
> +# end of Self contained MTD devices
> +
>  # CONFIG_DRIVER_CFI is not set
>  # CONFIG_NAND is not set
>  # CONFIG_MTD_SPI_NOR is not set
> @@ -549,6 +584,7 @@ CONFIG_CLOCKSOURCE_BCM283X=y
>  CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
>  CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
> +# end of Clocksource
>  
>  #
>  # MFD
> @@ -564,6 +600,7 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  # CONFIG_MFD_SYSCON is not set
>  # CONFIG_MFD_TWL4030 is not set
>  # CONFIG_MFD_TWL6030 is not set
> +# end of MFD
>  
>  #
>  # Misc devices
> @@ -573,6 +610,8 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  CONFIG_STATE_DRV=y
>  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
> @@ -586,6 +625,7 @@ CONFIG_LED_TRIGGERS=y
>  #
>  # CONFIG_EEPROM_AT25 is not set
>  # CONFIG_EEPROM_AT24 is not set
> +# end of EEPROM support
>  
>  #
>  # Input device support
> @@ -593,6 +633,8 @@ CONFIG_LED_TRIGGERS=y
>  # CONFIG_KEYBOARD_GPIO is not set
>  # CONFIG_KEYBOARD_QT1070 is not set
>  # CONFIG_KEYBOARD_USB is not set
> +# end of Input device support
> +
>  CONFIG_WATCHDOG=y
>  # CONFIG_WATCHDOG_POLLER is not set
>  # CONFIG_WATCHDOG_DW is not set
> @@ -603,6 +645,8 @@ CONFIG_HWRNG=y
>  #
>  # DMA support
>  #
> +# end of DMA support
> +
>  CONFIG_GPIOLIB=y
>  
>  #
> @@ -615,6 +659,8 @@ CONFIG_GPIOLIB=y
>  # 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
>  
>  #
> @@ -623,6 +669,8 @@ CONFIG_GPIOLIB=y
>  CONFIG_PINCTRL=y
>  CONFIG_PINCTRL_BCM283X=y
>  # CONFIG_PINCTRL_SINGLE is not set
> +# end of Pin controllers
> +
>  CONFIG_NVMEM=y
>  # CONFIG_NVMEM_SNVS_LPGPR is not set
>  # CONFIG_EEPROM_93XX46 is not set
> @@ -630,6 +678,8 @@ CONFIG_NVMEM=y
>  #
>  # Bus devices
>  #
> +# end of Bus devices
> +
>  CONFIG_REGULATOR=y
>  # CONFIG_REGULATOR_FIXED is not set
>  CONFIG_REGULATOR_BCM283X=y
> @@ -640,20 +690,26 @@ CONFIG_REGULATOR_BCM283X=y
>  # Firmware Drivers
>  #
>  # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
> +# 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
> @@ -702,6 +758,7 @@ CONFIG_FS_FAT_LFN=y
>  #
>  # ZSTD support disabled
>  #
> +# end of Filesystem support
>  
>  #
>  # Library routines
> @@ -732,9 +789,12 @@ CONFIG_QSORT=y
>  #
>  # Library gui routines
>  #
> +# end of Library gui routines
> +
>  # CONFIG_BAREBOX_LOGO is not set
>  # CONFIG_NLS is not set
>  # CONFIG_BLOBGEN is not set
> +# end of Library routines
>  
>  #
>  # Crypto support
> @@ -754,13 +814,16 @@ CONFIG_DIGEST_SHA1_GENERIC=y
>  # 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-rpi2.config.diff b/configs/platform-v7a/barebox-rpi2.config.diff
> index ad0442e8f65a..e322a08e22f0 100644
> --- a/configs/platform-v7a/barebox-rpi2.config.diff
> +++ b/configs/platform-v7a/barebox-rpi2.config.diff
> @@ -1,4 +1,4 @@
> -d52e3b915cb568f3ec9ddd9d7657da12
> +8fdac5cea1dd13f3b0fbae5c0ea20c43
>  CONFIG_DRIVER_SERIAL_NS16550=y
>  # CONFIG_EEPROM_93XX46 is not set
>  CONFIG_MACH_RPI2=y
> diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config
> index eb4ff5e738b2..0fa14357bd20 100644
> --- a/configs/platform-v7a/barebox-vexpress.config
> +++ b/configs/platform-v7a/barebox-vexpress.config
> @@ -1,6 +1,6 @@
>  #
>  # Automatically generated file; DO NOT EDIT.
> -# Barebox/arm 2019.07.0 Configuration
> +# Barebox/arm 2019.08.1 Configuration
>  #
>  CONFIG_ARM=y
>  CONFIG_ARM_LINUX=y
> @@ -29,7 +29,7 @@ CONFIG_TEXT_BASE=0x0
>  # CONFIG_ARCH_S3C24xx is not set
>  # CONFIG_ARCH_S5PCxx is not set
>  # CONFIG_ARCH_S3C64xx is not set
> -# CONFIG_ARCH_STM32MP1 is not set
> +# CONFIG_ARCH_STM32MP is not set
>  # CONFIG_ARCH_VERSATILE is not set
>  CONFIG_ARCH_VEXPRESS=y
>  # CONFIG_ARCH_TEGRA is not set
> @@ -55,6 +55,7 @@ CONFIG_MACH_VEXPRESS=y
>  CONFIG_AEABI=y
>  # CONFIG_THUMB2_BAREBOX is not set
>  # CONFIG_ARM_BOARD_APPEND_ATAG is not set
> +# end of System Type
>  
>  #
>  # ARM specific settings
> @@ -64,6 +65,8 @@ CONFIG_ARM_EXCEPTIONS=y
>  CONFIG_ARM_UNWIND=y
>  # CONFIG_ARM_SEMIHOSTING is not set
>  # CONFIG_ARM_PSCI is not set
> +# end of ARM specific settings
> +
>  CONFIG_GREGORIAN_CALENDER=y
>  CONFIG_HAS_KALLSYMS=y
>  CONFIG_HAS_MODULES=y
> @@ -114,6 +117,8 @@ 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
> @@ -182,6 +187,7 @@ CONFIG_STATE=y
>  # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
>  # CONFIG_BOOTCHOOSER is not set
>  CONFIG_RESET_SOURCE=y
> +# end of General Settings
>  
>  #
>  # Debugging
> @@ -190,6 +196,9 @@ CONFIG_COMPILE_LOGLEVEL=7
>  CONFIG_DEFAULT_LOGLEVEL=6
>  # CONFIG_DEBUG_LL is not set
>  # CONFIG_DEBUG_INITCALLS is not set
> +# CONFIG_PBL_BREAK is not set
> +# end of Debugging
> +
>  CONFIG_HAS_DEBUG_LL=y
>  CONFIG_COMMAND_SUPPORT=y
>  CONFIG_COMPILE_HASH=y
> @@ -214,6 +223,7 @@ CONFIG_CMD_ARM_MMUINFO=y
>  CONFIG_CMD_REGULATOR=y
>  CONFIG_CMD_VERSION=y
>  # CONFIG_CMD_MMC_EXTCSD is not set
> +# end of Information
>  
>  #
>  # Boot
> @@ -228,6 +238,7 @@ CONFIG_CMD_GO=y
>  # CONFIG_CMD_LOADY is not set
>  CONFIG_CMD_RESET=y
>  CONFIG_CMD_UIMAGE=y
> +# end of Boot
>  
>  #
>  # Partition
> @@ -236,6 +247,7 @@ CONFIG_CMD_PARTITION=y
>  CONFIG_CMD_AUTOMOUNT=y
>  CONFIG_CMD_MOUNT=y
>  CONFIG_CMD_UMOUNT=y
> +# end of Partition
>  
>  #
>  # Environment
> @@ -249,6 +261,7 @@ CONFIG_CMD_PRINTENV=y
>  CONFIG_CMD_MAGICVAR=y
>  CONFIG_CMD_MAGICVAR_HELP=y
>  CONFIG_CMD_SAVEENV=y
> +# end of Environment
>  
>  #
>  # File
> @@ -275,6 +288,7 @@ CONFIG_CMD_SHA1SUM=y
>  # CONFIG_CMD_SHA384SUM is not set
>  # CONFIG_CMD_SHA512SUM is not set
>  CONFIG_CMD_UNCOMPRESS=y
> +# end of File
>  
>  #
>  # Shell scripting
> @@ -287,6 +301,7 @@ CONFIG_CMD_READF=y
>  CONFIG_CMD_SLEEP=y
>  CONFIG_CMD_TEST=y
>  CONFIG_CMD_TRUE=y
> +# end of Shell scripting
>  
>  #
>  # Network
> @@ -298,6 +313,7 @@ CONFIG_NET_CMD_IFUP=y
>  CONFIG_CMD_PING=y
>  CONFIG_CMD_TFTP=y
>  CONFIG_CMD_IP_ROUTE_GET=y
> +# end of Network
>  
>  #
>  # Console and Framebuffer interaction
> @@ -312,6 +328,7 @@ CONFIG_CMD_MENU=y
>  CONFIG_CMD_MENUTREE=y
>  CONFIG_CMD_READLINE=y
>  CONFIG_CMD_TIMEOUT=y
> +# end of Console and Framebuffer interaction
>  
>  #
>  # Memory
> @@ -325,6 +342,7 @@ CONFIG_CMD_MEMSET=y
>  CONFIG_CMD_MEMTEST=y
>  CONFIG_CMD_MM=y
>  CONFIG_CMD_MW=y
> +# end of Memory
>  
>  #
>  # Hardware manipulation
> @@ -341,6 +359,7 @@ CONFIG_CMD_USB=y
>  CONFIG_CMD_USBGADGET=y
>  CONFIG_CMD_WD=y
>  CONFIG_CMD_WD_DEFAULT_TIMOUT=0
> +# end of Hardware manipulation
>  
>  #
>  # Miscellaneous
> @@ -360,6 +379,9 @@ CONFIG_CMD_STATE=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=y
>  # CONFIG_NET_NETCONSOLE is not set
> @@ -389,6 +411,8 @@ CONFIG_ARM_AMBA=y
>  CONFIG_SERIAL_AMBA_PL011=y
>  # CONFIG_DRIVER_SERIAL_NS16550 is not set
>  # CONFIG_DRIVER_SERIAL_CADENCE is not set
> +# end of serial drivers
> +
>  CONFIG_PHYLIB=y
>  
>  #
> @@ -427,15 +451,20 @@ CONFIG_DRIVER_NET_SMC911X=y
>  # MII bus device drivers
>  #
>  # CONFIG_MDIO_BITBANG is not set
> +# end of phylib
> +
>  CONFIG_NET_USB=y
>  CONFIG_NET_USB_ASIX=y
>  CONFIG_NET_USB_SMSC95XX=y
> +# end of Network drivers
>  
>  #
>  # SPI drivers
>  #
>  CONFIG_SPI=y
>  # CONFIG_SPI_MEM is not set
> +# end of SPI drivers
> +
>  CONFIG_I2C=y
>  
>  #
> @@ -443,6 +472,8 @@ CONFIG_I2C=y
>  #
>  # CONFIG_I2C_DESIGNWARE is not set
>  # CONFIG_I2C_MV64XXX is not set
> +# end of I2C Hardware Bus support
> +
>  # CONFIG_I2C_MUX is not set
>  CONFIG_MTD=y
>  CONFIG_MTD_WRITE=y
> @@ -462,6 +493,8 @@ CONFIG_MTD_CONCAT=y
>  # CONFIG_MTD_M25P80 is not set
>  # CONFIG_MTD_DOCG3 is not set
>  # CONFIG_MTD_MTDRAM is not set
> +# end of Self contained MTD devices
> +
>  CONFIG_DRIVER_CFI=y
>  CONFIG_DRIVER_CFI_INTEL=y
>  CONFIG_DRIVER_CFI_AMD=y
> @@ -538,6 +571,7 @@ CONFIG_AMBA_SP804=y
>  CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
>  CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
> +# end of Clocksource
>  
>  #
>  # MFD
> @@ -553,6 +587,7 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  # CONFIG_MFD_SYSCON is not set
>  # CONFIG_MFD_TWL4030 is not set
>  # CONFIG_MFD_TWL6030 is not set
> +# end of MFD
>  
>  #
>  # Misc devices
> @@ -561,6 +596,8 @@ CONFIG_SRAM=y
>  CONFIG_STATE_DRV=y
>  CONFIG_DEV_MEM=y
>  # CONFIG_UBOOTVAR is not set
> +# end of Misc devices
> +
>  CONFIG_LED=y
>  CONFIG_LED_TRIGGERS=y
>  # CONFIG_LED_PCA955X is not set
> @@ -570,11 +607,14 @@ CONFIG_LED_TRIGGERS=y
>  #
>  # CONFIG_EEPROM_AT25 is not set
>  # CONFIG_EEPROM_AT24 is not set
> +# end of EEPROM support
>  
>  #
>  # Input device support
>  #
>  # CONFIG_KEYBOARD_USB is not set
> +# end of Input device support
> +
>  CONFIG_WATCHDOG=y
>  # CONFIG_WATCHDOG_POLLER is not set
>  # CONFIG_WATCHDOG_DW is not set
> @@ -584,6 +624,8 @@ CONFIG_HWRNG=y
>  #
>  # DMA support
>  #
> +# end of DMA support
> +
>  # CONFIG_W1 is not set
>  
>  #
> @@ -591,11 +633,15 @@ CONFIG_HWRNG=y
>  #
>  CONFIG_PINCTRL=y
>  # CONFIG_PINCTRL_SINGLE is not set
> +# end of Pin controllers
> +
>  # CONFIG_NVMEM is not set
>  
>  #
>  # Bus devices
>  #
> +# end of Bus devices
> +
>  CONFIG_REGULATOR=y
>  # CONFIG_RESET_CONTROLLER is not set
>  # CONFIG_RTC_CLASS is not set
> @@ -603,20 +649,26 @@ CONFIG_REGULATOR=y
>  #
>  # 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
> @@ -665,6 +717,7 @@ CONFIG_FS_FAT_LFN=y
>  #
>  # ZSTD support disabled
>  #
> +# end of Filesystem support
>  
>  #
>  # Library routines
> @@ -695,9 +748,12 @@ CONFIG_QSORT=y
>  #
>  # Library gui routines
>  #
> +# end of Library gui routines
> +
>  # CONFIG_BAREBOX_LOGO is not set
>  # CONFIG_NLS is not set
>  # CONFIG_BLOBGEN is not set
> +# end of Library routines
>  
>  #
>  # Crypto support
> @@ -717,13 +773,16 @@ CONFIG_DIGEST_SHA1_GENERIC=y
>  # 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-vexpress.config.diff b/configs/platform-v7a/barebox-vexpress.config.diff
> index 2f3cd4d021eb..9cf068124418 100644
> --- a/configs/platform-v7a/barebox-vexpress.config.diff
> +++ b/configs/platform-v7a/barebox-vexpress.config.diff
> @@ -1,4 +1,4 @@
> -d52e3b915cb568f3ec9ddd9d7657da12
> +8fdac5cea1dd13f3b0fbae5c0ea20c43
>  CONFIG_AMBA_SP804=y
>  # CONFIG_ARCH_BCM283X is not set
>  CONFIG_ARCH_VEXPRESS=y
> diff --git a/configs/platform-v7a/barebox.config b/configs/platform-v7a/barebox.config
> index b78a6165c886..adbbc373824b 100644
> --- a/configs/platform-v7a/barebox.config
> +++ b/configs/platform-v7a/barebox.config
> @@ -1,6 +1,6 @@
>  #
>  # Automatically generated file; DO NOT EDIT.
> -# Barebox/arm 2019.07.0 Configuration
> +# Barebox/arm 2019.08.1 Configuration
>  #
>  CONFIG_ARM=y
>  CONFIG_ARM_LINUX=y
> @@ -29,7 +29,7 @@ CONFIG_ARCH_BCM283X=y
>  # CONFIG_ARCH_S3C24xx is not set
>  # CONFIG_ARCH_S5PCxx is not set
>  # CONFIG_ARCH_S3C64xx is not set
> -# CONFIG_ARCH_STM32MP1 is not set
> +# CONFIG_ARCH_STM32MP is not set
>  # CONFIG_ARCH_VERSATILE is not set
>  # CONFIG_ARCH_VEXPRESS is not set
>  # CONFIG_ARCH_TEGRA is not set
> @@ -59,10 +59,13 @@ CONFIG_MACH_RPI_COMMON=y
>  # CONFIG_MACH_RPI2 is not set
>  CONFIG_MACH_RPI3=y
>  # CONFIG_MACH_RPI_CM3 is not set
> +# end of select Broadcom BCM283X boards to be built
> +
>  CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
>  CONFIG_AEABI=y
>  # CONFIG_THUMB2_BAREBOX is not set
>  # CONFIG_ARM_BOARD_APPEND_ATAG is not set
> +# end of System Type
>  
>  #
>  # ARM specific settings
> @@ -74,6 +77,8 @@ CONFIG_ARM_UNWIND=y
>  CONFIG_ARM_SMCCC=y
>  CONFIG_ARM_SECURE_MONITOR=y
>  # CONFIG_ARM_PSCI is not set
> +# end of ARM specific settings
> +
>  CONFIG_GREGORIAN_CALENDER=y
>  CONFIG_HAS_KALLSYMS=y
>  CONFIG_HAS_MODULES=y
> @@ -125,6 +130,8 @@ 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
> @@ -193,6 +200,7 @@ CONFIG_STATE=y
>  # CONFIG_STATE_BACKWARD_COMPATIBLE is not set
>  # CONFIG_BOOTCHOOSER is not set
>  CONFIG_RESET_SOURCE=y
> +# end of General Settings
>  
>  #
>  # Debugging
> @@ -201,6 +209,9 @@ CONFIG_COMPILE_LOGLEVEL=7
>  CONFIG_DEFAULT_LOGLEVEL=6
>  # CONFIG_DEBUG_LL is not set
>  # CONFIG_DEBUG_INITCALLS is not set
> +# CONFIG_PBL_BREAK is not set
> +# end of Debugging
> +
>  CONFIG_HAS_DEBUG_LL=y
>  CONFIG_COMMAND_SUPPORT=y
>  CONFIG_COMPILE_HASH=y
> @@ -225,6 +236,7 @@ CONFIG_CMD_ARM_MMUINFO=y
>  CONFIG_CMD_REGULATOR=y
>  CONFIG_CMD_VERSION=y
>  # CONFIG_CMD_MMC_EXTCSD is not set
> +# end of Information
>  
>  #
>  # Boot
> @@ -239,6 +251,7 @@ CONFIG_CMD_GO=y
>  # CONFIG_CMD_LOADY is not set
>  CONFIG_CMD_RESET=y
>  CONFIG_CMD_UIMAGE=y
> +# end of Boot
>  
>  #
>  # Partition
> @@ -247,6 +260,7 @@ CONFIG_CMD_PARTITION=y
>  CONFIG_CMD_AUTOMOUNT=y
>  CONFIG_CMD_MOUNT=y
>  CONFIG_CMD_UMOUNT=y
> +# end of Partition
>  
>  #
>  # Environment
> @@ -260,6 +274,7 @@ CONFIG_CMD_PRINTENV=y
>  CONFIG_CMD_MAGICVAR=y
>  CONFIG_CMD_MAGICVAR_HELP=y
>  CONFIG_CMD_SAVEENV=y
> +# end of Environment
>  
>  #
>  # File
> @@ -286,6 +301,7 @@ CONFIG_CMD_SHA1SUM=y
>  # CONFIG_CMD_SHA384SUM is not set
>  # CONFIG_CMD_SHA512SUM is not set
>  CONFIG_CMD_UNCOMPRESS=y
> +# end of File
>  
>  #
>  # Shell scripting
> @@ -298,6 +314,7 @@ CONFIG_CMD_READF=y
>  CONFIG_CMD_SLEEP=y
>  CONFIG_CMD_TEST=y
>  CONFIG_CMD_TRUE=y
> +# end of Shell scripting
>  
>  #
>  # Network
> @@ -309,6 +326,7 @@ CONFIG_NET_CMD_IFUP=y
>  CONFIG_CMD_PING=y
>  CONFIG_CMD_TFTP=y
>  CONFIG_CMD_IP_ROUTE_GET=y
> +# end of Network
>  
>  #
>  # Console and Framebuffer interaction
> @@ -323,6 +341,7 @@ CONFIG_CMD_MENU=y
>  CONFIG_CMD_MENUTREE=y
>  CONFIG_CMD_READLINE=y
>  CONFIG_CMD_TIMEOUT=y
> +# end of Console and Framebuffer interaction
>  
>  #
>  # Memory
> @@ -336,6 +355,7 @@ CONFIG_CMD_MEMSET=y
>  CONFIG_CMD_MEMTEST=y
>  CONFIG_CMD_MM=y
>  CONFIG_CMD_MW=y
> +# end of Memory
>  
>  #
>  # Hardware manipulation
> @@ -353,6 +373,7 @@ CONFIG_CMD_USB=y
>  CONFIG_CMD_USBGADGET=y
>  CONFIG_CMD_WD=y
>  CONFIG_CMD_WD_DEFAULT_TIMOUT=0
> +# end of Hardware manipulation
>  
>  #
>  # Miscellaneous
> @@ -372,6 +393,9 @@ CONFIG_CMD_STATE=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=y
>  # CONFIG_NET_NETCONSOLE is not set
> @@ -402,6 +426,8 @@ CONFIG_ARM_AMBA=y
>  # CONFIG_SERIAL_AMBA_PL011 is not set
>  # CONFIG_DRIVER_SERIAL_NS16550 is not set
>  # CONFIG_DRIVER_SERIAL_CADENCE is not set
> +# end of serial drivers
> +
>  CONFIG_PHYLIB=y
>  
>  #
> @@ -441,9 +467,12 @@ CONFIG_PHYLIB=y
>  #
>  # CONFIG_MDIO_BITBANG is not set
>  # CONFIG_MDIO_BUS_MUX_GPIO is not set
> +# end of phylib
> +
>  CONFIG_NET_USB=y
>  CONFIG_NET_USB_ASIX=y
>  CONFIG_NET_USB_SMSC95XX=y
> +# end of Network drivers
>  
>  #
>  # SPI drivers
> @@ -451,6 +480,8 @@ CONFIG_NET_USB_SMSC95XX=y
>  CONFIG_SPI=y
>  # CONFIG_SPI_MEM is not set
>  CONFIG_DRIVER_SPI_GPIO=y
> +# end of SPI drivers
> +
>  CONFIG_I2C=y
>  CONFIG_I2C_ALGOBIT=y
>  
> @@ -460,6 +491,8 @@ CONFIG_I2C_ALGOBIT=y
>  CONFIG_I2C_GPIO=y
>  # CONFIG_I2C_DESIGNWARE is not set
>  # CONFIG_I2C_MV64XXX is not set
> +# end of I2C Hardware Bus support
> +
>  # CONFIG_I2C_MUX is not set
>  CONFIG_MTD=y
>  CONFIG_MTD_WRITE=y
> @@ -479,6 +512,8 @@ CONFIG_MTD_OOB_DEVICE=y
>  # CONFIG_MTD_M25P80 is not set
>  # CONFIG_MTD_DOCG3 is not set
>  # CONFIG_MTD_MTDRAM is not set
> +# end of Self contained MTD devices
> +
>  # CONFIG_DRIVER_CFI is not set
>  # CONFIG_NAND is not set
>  # CONFIG_MTD_SPI_NOR is not set
> @@ -549,6 +584,7 @@ CONFIG_CLOCKSOURCE_BCM283X=y
>  CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
>  CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  # CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
> +# end of Clocksource
>  
>  #
>  # MFD
> @@ -564,6 +600,7 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  # CONFIG_MFD_SYSCON is not set
>  # CONFIG_MFD_TWL4030 is not set
>  # CONFIG_MFD_TWL6030 is not set
> +# end of MFD
>  
>  #
>  # Misc devices
> @@ -573,6 +610,8 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
>  CONFIG_STATE_DRV=y
>  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
> @@ -586,6 +625,7 @@ CONFIG_LED_TRIGGERS=y
>  #
>  # CONFIG_EEPROM_AT25 is not set
>  # CONFIG_EEPROM_AT24 is not set
> +# end of EEPROM support
>  
>  #
>  # Input device support
> @@ -593,6 +633,8 @@ CONFIG_LED_TRIGGERS=y
>  # CONFIG_KEYBOARD_GPIO is not set
>  # CONFIG_KEYBOARD_QT1070 is not set
>  # CONFIG_KEYBOARD_USB is not set
> +# end of Input device support
> +
>  CONFIG_WATCHDOG=y
>  # CONFIG_WATCHDOG_POLLER is not set
>  # CONFIG_WATCHDOG_DW is not set
> @@ -603,6 +645,8 @@ CONFIG_HWRNG=y
>  #
>  # DMA support
>  #
> +# end of DMA support
> +
>  CONFIG_GPIOLIB=y
>  
>  #
> @@ -615,6 +659,8 @@ CONFIG_GPIOLIB=y
>  # 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
>  
>  #
> @@ -623,11 +669,15 @@ CONFIG_GPIOLIB=y
>  CONFIG_PINCTRL=y
>  # CONFIG_PINCTRL_BCM283X is not set
>  # CONFIG_PINCTRL_SINGLE is not set
> +# end of Pin controllers
> +
>  # CONFIG_NVMEM is not set
>  
>  #
>  # Bus devices
>  #
> +# end of Bus devices
> +
>  CONFIG_REGULATOR=y
>  # CONFIG_REGULATOR_FIXED is not set
>  CONFIG_REGULATOR_BCM283X=y
> @@ -638,20 +688,26 @@ CONFIG_REGULATOR_BCM283X=y
>  # Firmware Drivers
>  #
>  # CONFIG_FIRMWARE_ALTERA_SERIAL is not set
> +# 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
> @@ -700,6 +756,7 @@ CONFIG_FS_FAT_LFN=y
>  #
>  # ZSTD support disabled
>  #
> +# end of Filesystem support
>  
>  #
>  # Library routines
> @@ -730,9 +787,12 @@ CONFIG_QSORT=y
>  #
>  # Library gui routines
>  #
> +# end of Library gui routines
> +
>  # CONFIG_BAREBOX_LOGO is not set
>  # CONFIG_NLS is not set
>  # CONFIG_BLOBGEN is not set
> +# end of Library routines
>  
>  #
>  # Crypto support
> @@ -752,13 +812,16 @@ CONFIG_DIGEST_SHA1_GENERIC=y
>  # 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/platformconfig b/configs/platform-v7a/platformconfig
> index af2ad626fd62..5785db19cf8f 100644
> --- a/configs/platform-v7a/platformconfig
> +++ b/configs/platform-v7a/platformconfig
> @@ -166,8 +166,8 @@ PTXCONF_CONSOLE_SPEED="115200"
>  # PTXCONF_AT91BOOTSTRAP2 is not set
>  PTXCONF_BAREBOX_COMMON_ARCH_STRING="arm"
>  PTXCONF_BAREBOX_COMMON=y
> -PTXCONF_BAREBOX_COMMON_VERSION="2019.07.0"
> -PTXCONF_BAREBOX_COMMON_MD5="8fb8e8ec3775228c34f7de2096872f51"
> +PTXCONF_BAREBOX_COMMON_VERSION="2019.08.1"
> +PTXCONF_BAREBOX_COMMON_MD5="7538a4daba730b93d52fb3201c45df3e"
>  PTXCONF_BAREBOX_COMMON_NEEDS_HOST_LZOP=y
>  PTXCONF_BAREBOX_AM335X_MLO=y
>  PTXCONF_BAREBOX_AM335X=y
> -- 
> 2.20.1
> 
> 
> _______________________________________________
> DistroKit mailing list
> DistroKit@pengutronix.de
> 

-- 
Roland Hieber                     | r.hieber@pengutronix.de     |
Pengutronix e.K.                  | https://www.pengutronix.de/ |
Peiner Str. 6-8, 31137 Hildesheim | Phone: +49-5121-206917-5086 |
Amtsgericht Hildesheim, HRA 2686  | Fax:   +49-5121-206917-5555 |

_______________________________________________
DistroKit mailing list
DistroKit@pengutronix.de

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2019-08-21 15:37 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-08-21 15:34 [DistroKit] [PATCH] v7a: barebox: version bump 2019.07.0 → 2019.08.1 Roland Hieber
2019-08-21 15:37 ` Roland Hieber

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox