summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--configs/platform-v7a/barebox-am335x-mlo.config13
-rw-r--r--configs/platform-v7a/barebox-am335x.config17
-rw-r--r--configs/platform-v7a/barebox-am335x.config.diff2
-rw-r--r--configs/platform-v7a/barebox-mx6.config19
-rw-r--r--configs/platform-v7a/barebox-mx6.config.diff4
-rw-r--r--configs/platform-v7a/barebox-rpi2.config17
-rw-r--r--configs/platform-v7a/barebox-rpi2.config.diff2
-rw-r--r--configs/platform-v7a/barebox-vexpress.config17
-rw-r--r--configs/platform-v7a/barebox-vexpress.config.diff2
-rw-r--r--configs/platform-v7a/barebox.config17
-rw-r--r--configs/platform-v7a/platformconfig4
-rwxr-xr-xscripts/update-diffs-v7a.sh2
12 files changed, 95 insertions, 21 deletions
diff --git a/configs/platform-v7a/barebox-am335x-mlo.config b/configs/platform-v7a/barebox-am335x-mlo.config
index 545dba6..7ebe984 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.10.0 Configuration
+# Barebox/arm 2019.11.0 Configuration
#
CONFIG_ARM=y
CONFIG_ARM_USE_COMPRESSED_DTB=y
@@ -20,7 +20,6 @@ CONFIG_TEXT_BASE=0x0
# CONFIG_ARCH_LAYERSCAPE is not set
# CONFIG_ARCH_MVEBU is not set
# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
# CONFIG_ARCH_NOMADIK is not set
CONFIG_ARCH_OMAP=y
# CONFIG_ARCH_PXA is not set
@@ -194,6 +193,7 @@ CONFIG_OFTREE_MEM_GENERIC=y
CONFIG_DTC=y
CONFIG_OFDEVICE=y
CONFIG_OF_GPIO=y
+# CONFIG_OF_OVERLAY is not set
# CONFIG_AIODEV is not set
#
@@ -304,6 +304,8 @@ CONFIG_CLOCKSOURCE_TI_DM=y
#
# CONFIG_MFD_MC13XXX is not set
# CONFIG_MFD_SYSCON is not set
+# CONFIG_FINTEK_SUPERIO is not set
+# CONFIG_SMSC_SUPERIO is not set
# end of MFD
#
@@ -369,6 +371,13 @@ CONFIG_TI_SYSC=y
# end of Bus devices
# CONFIG_REGULATOR is not set
+
+#
+# Remoteproc drivers
+#
+# CONFIG_REMOTEPROC is not set
+# end of Remoteproc drivers
+
# CONFIG_RESET_CONTROLLER is not set
# CONFIG_RTC_CLASS is not set
diff --git a/configs/platform-v7a/barebox-am335x.config b/configs/platform-v7a/barebox-am335x.config
index 7e1b92c..a44c1bb 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.10.0 Configuration
+# Barebox/arm 2019.11.0 Configuration
#
CONFIG_ARM=y
CONFIG_ARM_LINUX=y
@@ -21,7 +21,6 @@ CONFIG_TEXT_BASE=0x0
# CONFIG_ARCH_LAYERSCAPE is not set
# CONFIG_ARCH_MVEBU is not set
# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
# CONFIG_ARCH_NOMADIK is not set
CONFIG_ARCH_OMAP=y
# CONFIG_ARCH_PXA is not set
@@ -210,6 +209,7 @@ CONFIG_STATE=y
# CONFIG_STATE_BACKWARD_COMPATIBLE is not set
# CONFIG_BOOTCHOOSER is not set
CONFIG_RESET_SOURCE=y
+# CONFIG_MACHINE_ID is not set
# end of General Settings
#
@@ -248,6 +248,7 @@ CONFIG_CMD_MEMINFO=y
CONFIG_CMD_ARM_MMUINFO=y
CONFIG_CMD_REGULATOR=y
CONFIG_CMD_VERSION=y
+CONFIG_CMD_MMC=y
# CONFIG_CMD_MMC_EXTCSD is not set
# end of Information
@@ -398,11 +399,13 @@ CONFIG_CMD_BAREBOX_UPDATE=y
# CONFIG_CMD_BLOBGEN is not set
# CONFIG_CMD_FIRMWARELOAD is not set
# CONFIG_CMD_KEYSTORE is not set
+# CONFIG_CMD_OF_DIFF is not set
CONFIG_CMD_OF_DUMP=y
CONFIG_CMD_OF_NODE=y
CONFIG_CMD_OF_PROPERTY=y
# CONFIG_CMD_OF_DISPLAY_TIMINGS is not set
# CONFIG_CMD_OF_FIXUP_STATUS is not set
+# CONFIG_CMD_OF_OVERLAY is not set
CONFIG_CMD_OFTREE=y
CONFIG_CMD_TIME=y
CONFIG_CMD_STATE=y
@@ -431,6 +434,7 @@ CONFIG_OF_NET=y
CONFIG_OF_GPIO=y
CONFIG_OF_BAREBOX_DRIVERS=y
# CONFIG_OF_BAREBOX_ENV_IN_FS is not set
+# CONFIG_OF_OVERLAY is not set
# CONFIG_AIODEV is not set
CONFIG_ARM_AMBA=y
@@ -640,6 +644,8 @@ CONFIG_CLOCKSOURCE_TI_DM=y
# CONFIG_MFD_TWL4030 is not set
# CONFIG_MFD_TWL6030 is not set
# CONFIG_MFD_STPMIC1 is not set
+# CONFIG_FINTEK_SUPERIO is not set
+# CONFIG_SMSC_SUPERIO is not set
# end of MFD
#
@@ -726,6 +732,13 @@ CONFIG_TI_SYSC=y
CONFIG_REGULATOR=y
# CONFIG_REGULATOR_FIXED is not set
+
+#
+# Remoteproc drivers
+#
+# CONFIG_REMOTEPROC is not set
+# end of Remoteproc drivers
+
# CONFIG_RESET_CONTROLLER is not set
# CONFIG_RTC_CLASS is not set
diff --git a/configs/platform-v7a/barebox-am335x.config.diff b/configs/platform-v7a/barebox-am335x.config.diff
index bfe683d..7dac7b5 100644
--- a/configs/platform-v7a/barebox-am335x.config.diff
+++ b/configs/platform-v7a/barebox-am335x.config.diff
@@ -1,4 +1,4 @@
-2c66986a487e0ff8d964d1f0c1230eed
+d3bb3696c8ff500f1870ffc7d17536b2
# 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 4cfc051..6f40930 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.10.0 Configuration
+# Barebox/arm 2019.11.0 Configuration
#
CONFIG_ARM=y
CONFIG_ARM_LINUX=y
@@ -20,7 +20,6 @@ CONFIG_ARCH_IMX=y
# CONFIG_ARCH_LAYERSCAPE is not set
# CONFIG_ARCH_MVEBU is not set
# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
# CONFIG_ARCH_NOMADIK is not set
# CONFIG_ARCH_OMAP is not set
# CONFIG_ARCH_PXA is not set
@@ -93,6 +92,7 @@ CONFIG_MACH_NITROGEN6=y
# CONFIG_MACH_SOLIDRUN_MICROSOM is not set
# CONFIG_MACH_TECHNEXION_PICO_HOBBIT is not set
# CONFIG_MACH_TECHNEXION_WANDBOARD is not set
+# CONFIG_MACH_EMBEST_MARSBOARD is not set
CONFIG_MACH_EMBEST_RIOTBOARD=y
# CONFIG_MACH_UDOO is not set
CONFIG_MACH_UDOO_NEO=y
@@ -271,6 +271,7 @@ CONFIG_STATE=y
# CONFIG_STATE_BACKWARD_COMPATIBLE is not set
# CONFIG_BOOTCHOOSER is not set
CONFIG_RESET_SOURCE=y
+# CONFIG_MACHINE_ID is not set
# end of General Settings
#
@@ -309,6 +310,7 @@ CONFIG_CMD_MEMINFO=y
CONFIG_CMD_ARM_MMUINFO=y
CONFIG_CMD_REGULATOR=y
CONFIG_CMD_VERSION=y
+CONFIG_CMD_MMC=y
CONFIG_CMD_MMC_EXTCSD=y
# end of Information
@@ -464,11 +466,13 @@ CONFIG_CMD_BAREBOX_UPDATE=y
# CONFIG_CMD_BLOBGEN is not set
# CONFIG_CMD_FIRMWARELOAD is not set
# CONFIG_CMD_KEYSTORE is not set
+# CONFIG_CMD_OF_DIFF is not set
CONFIG_CMD_OF_DUMP=y
CONFIG_CMD_OF_NODE=y
CONFIG_CMD_OF_PROPERTY=y
# CONFIG_CMD_OF_DISPLAY_TIMINGS is not set
# CONFIG_CMD_OF_FIXUP_STATUS is not set
+# CONFIG_CMD_OF_OVERLAY is not set
CONFIG_CMD_OFTREE=y
CONFIG_CMD_TIME=y
CONFIG_CMD_STATE=y
@@ -497,6 +501,7 @@ CONFIG_OF_NET=y
CONFIG_OF_GPIO=y
CONFIG_OF_BAREBOX_DRIVERS=y
# CONFIG_OF_BAREBOX_ENV_IN_FS is not set
+# CONFIG_OF_OVERLAY is not set
# CONFIG_AIODEV is not set
CONFIG_ARM_AMBA=y
@@ -628,7 +633,6 @@ CONFIG_MTD_SPI_NOR=y
# CONFIG_MTD_SPI_NOR_USE_4K_SECTORS is not set
# CONFIG_SPI_CADENCE_QUADSPI is not set
CONFIG_MTD_UBI=y
-CONFIG_MTD_UBI_WL_THRESHOLD=4096
CONFIG_MTD_UBI_BEB_LIMIT=20
CONFIG_MTD_UBI_FASTMAP=y
@@ -745,6 +749,8 @@ CONFIG_MFD_SYSCON=y
# CONFIG_MFD_TWL4030 is not set
# CONFIG_MFD_TWL6030 is not set
# CONFIG_MFD_STPMIC1 is not set
+# CONFIG_FINTEK_SUPERIO is not set
+# CONFIG_SMSC_SUPERIO is not set
# end of MFD
#
@@ -840,6 +846,13 @@ CONFIG_REGULATOR=y
CONFIG_REGULATOR_FIXED=y
# CONFIG_REGULATOR_PFUZE is not set
# CONFIG_REGULATOR_ANATOP is not set
+
+#
+# Remoteproc drivers
+#
+# CONFIG_REMOTEPROC is not set
+# end of Remoteproc drivers
+
# CONFIG_RESET_CONTROLLER is not set
CONFIG_HW_HAS_PCI=y
diff --git a/configs/platform-v7a/barebox-mx6.config.diff b/configs/platform-v7a/barebox-mx6.config.diff
index 7c4d28c..70305c9 100644
--- a/configs/platform-v7a/barebox-mx6.config.diff
+++ b/configs/platform-v7a/barebox-mx6.config.diff
@@ -1,4 +1,4 @@
-2c66986a487e0ff8d964d1f0c1230eed
+d3bb3696c8ff500f1870ffc7d17536b2
# CONFIG_ARCH_BCM283X is not set
CONFIG_ARCH_HAS_FEC_IMX=y
CONFIG_ARCH_HAS_IMX_GPT=y
@@ -95,6 +95,7 @@ CONFIG_LODEPNG=y
# CONFIG_MACH_EFIKA_MX_SMARTBOOK is not set
# CONFIG_MACH_ELTEC_HIPERCAM is not set
# CONFIG_MACH_EMBEDSKY_E9 is not set
+# CONFIG_MACH_EMBEST_MARSBOARD is not set
CONFIG_MACH_EMBEST_RIOTBOARD=y
# CONFIG_MACH_FREESCALE_IMX6SX_SABRESDB is not set
# CONFIG_MACH_FREESCALE_MX51_PDK is not set
@@ -167,7 +168,6 @@ CONFIG_MTD_UBI_BEB_LIMIT=20
# CONFIG_MTD_UBI_CHECK_IO is not set
CONFIG_MTD_UBI_FASTMAP=y
# CONFIG_MTD_UBI_GENERAL_EXTRA_CHECKS is not set
-CONFIG_MTD_UBI_WL_THRESHOLD=4096
CONFIG_MXS_APBH_DMA=y
CONFIG_NAND=y
CONFIG_NAND_ALLOW_ERASE_BAD=y
diff --git a/configs/platform-v7a/barebox-rpi2.config b/configs/platform-v7a/barebox-rpi2.config
index 3500cb1..534fc59 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.10.0 Configuration
+# Barebox/arm 2019.11.0 Configuration
#
CONFIG_ARM=y
CONFIG_ARM_LINUX=y
@@ -20,7 +20,6 @@ CONFIG_ARCH_BCM283X=y
# CONFIG_ARCH_LAYERSCAPE is not set
# CONFIG_ARCH_MVEBU is not set
# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
# CONFIG_ARCH_NOMADIK is not set
# CONFIG_ARCH_OMAP is not set
# CONFIG_ARCH_PXA is not set
@@ -201,6 +200,7 @@ CONFIG_STATE=y
# CONFIG_STATE_BACKWARD_COMPATIBLE is not set
# CONFIG_BOOTCHOOSER is not set
CONFIG_RESET_SOURCE=y
+# CONFIG_MACHINE_ID is not set
# end of General Settings
#
@@ -238,6 +238,7 @@ CONFIG_CMD_MEMINFO=y
CONFIG_CMD_ARM_MMUINFO=y
CONFIG_CMD_REGULATOR=y
CONFIG_CMD_VERSION=y
+CONFIG_CMD_MMC=y
# CONFIG_CMD_MMC_EXTCSD is not set
# end of Information
@@ -385,11 +386,13 @@ CONFIG_CMD_WD_DEFAULT_TIMOUT=0
CONFIG_CMD_BAREBOX_UPDATE=y
# CONFIG_CMD_BLOBGEN is not set
# CONFIG_CMD_FIRMWARELOAD is not set
+# CONFIG_CMD_OF_DIFF is not set
CONFIG_CMD_OF_DUMP=y
CONFIG_CMD_OF_NODE=y
CONFIG_CMD_OF_PROPERTY=y
# CONFIG_CMD_OF_DISPLAY_TIMINGS is not set
# CONFIG_CMD_OF_FIXUP_STATUS is not set
+# CONFIG_CMD_OF_OVERLAY is not set
CONFIG_CMD_OFTREE=y
CONFIG_CMD_TIME=y
CONFIG_CMD_STATE=y
@@ -418,6 +421,7 @@ CONFIG_OF_NET=y
CONFIG_OF_GPIO=y
CONFIG_OF_BAREBOX_DRIVERS=y
# CONFIG_OF_BAREBOX_ENV_IN_FS is not set
+# CONFIG_OF_OVERLAY is not set
# CONFIG_AIODEV is not set
CONFIG_ARM_AMBA=y
@@ -605,6 +609,8 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
# CONFIG_MFD_TWL4030 is not set
# CONFIG_MFD_TWL6030 is not set
# CONFIG_MFD_STPMIC1 is not set
+# CONFIG_FINTEK_SUPERIO is not set
+# CONFIG_SMSC_SUPERIO is not set
# end of MFD
#
@@ -689,6 +695,13 @@ CONFIG_NVMEM=y
CONFIG_REGULATOR=y
# CONFIG_REGULATOR_FIXED is not set
CONFIG_REGULATOR_BCM283X=y
+
+#
+# Remoteproc drivers
+#
+# CONFIG_REMOTEPROC is not set
+# end of Remoteproc drivers
+
# CONFIG_RESET_CONTROLLER is not set
# CONFIG_RTC_CLASS is not set
diff --git a/configs/platform-v7a/barebox-rpi2.config.diff b/configs/platform-v7a/barebox-rpi2.config.diff
index c3b063a..81f37ab 100644
--- a/configs/platform-v7a/barebox-rpi2.config.diff
+++ b/configs/platform-v7a/barebox-rpi2.config.diff
@@ -1,4 +1,4 @@
-2c66986a487e0ff8d964d1f0c1230eed
+d3bb3696c8ff500f1870ffc7d17536b2
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 203dd46..fd618b6 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.10.0 Configuration
+# Barebox/arm 2019.11.0 Configuration
#
CONFIG_ARM=y
CONFIG_ARM_LINUX=y
@@ -20,7 +20,6 @@ CONFIG_TEXT_BASE=0x0
# CONFIG_ARCH_LAYERSCAPE is not set
# CONFIG_ARCH_MVEBU is not set
# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
# CONFIG_ARCH_NOMADIK is not set
# CONFIG_ARCH_OMAP is not set
# CONFIG_ARCH_PXA is not set
@@ -188,6 +187,7 @@ CONFIG_STATE=y
# CONFIG_STATE_BACKWARD_COMPATIBLE is not set
# CONFIG_BOOTCHOOSER is not set
CONFIG_RESET_SOURCE=y
+# CONFIG_MACHINE_ID is not set
# end of General Settings
#
@@ -225,6 +225,7 @@ CONFIG_CMD_MEMINFO=y
CONFIG_CMD_ARM_MMUINFO=y
CONFIG_CMD_REGULATOR=y
CONFIG_CMD_VERSION=y
+CONFIG_CMD_MMC=y
# CONFIG_CMD_MMC_EXTCSD is not set
# end of Information
@@ -371,11 +372,13 @@ CONFIG_CMD_WD_DEFAULT_TIMOUT=0
CONFIG_CMD_BAREBOX_UPDATE=y
# CONFIG_CMD_BLOBGEN is not set
# CONFIG_CMD_FIRMWARELOAD is not set
+# CONFIG_CMD_OF_DIFF is not set
CONFIG_CMD_OF_DUMP=y
CONFIG_CMD_OF_NODE=y
CONFIG_CMD_OF_PROPERTY=y
# CONFIG_CMD_OF_DISPLAY_TIMINGS is not set
# CONFIG_CMD_OF_FIXUP_STATUS is not set
+# CONFIG_CMD_OF_OVERLAY is not set
CONFIG_CMD_OFTREE=y
CONFIG_CMD_TIME=y
CONFIG_CMD_STATE=y
@@ -403,6 +406,7 @@ CONFIG_OFDEVICE=y
CONFIG_OF_NET=y
CONFIG_OF_BAREBOX_DRIVERS=y
# CONFIG_OF_BAREBOX_ENV_IN_FS is not set
+# CONFIG_OF_OVERLAY is not set
# CONFIG_AIODEV is not set
CONFIG_ARM_AMBA=y
@@ -592,6 +596,8 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
# CONFIG_MFD_TWL4030 is not set
# CONFIG_MFD_TWL6030 is not set
# CONFIG_MFD_STPMIC1 is not set
+# CONFIG_FINTEK_SUPERIO is not set
+# CONFIG_SMSC_SUPERIO is not set
# end of MFD
#
@@ -649,6 +655,13 @@ CONFIG_PINCTRL=y
# end of Bus devices
CONFIG_REGULATOR=y
+
+#
+# Remoteproc drivers
+#
+# CONFIG_REMOTEPROC is not set
+# end of Remoteproc drivers
+
# CONFIG_RESET_CONTROLLER is not set
# CONFIG_RTC_CLASS is not set
diff --git a/configs/platform-v7a/barebox-vexpress.config.diff b/configs/platform-v7a/barebox-vexpress.config.diff
index 4e3c03e..6a81872 100644
--- a/configs/platform-v7a/barebox-vexpress.config.diff
+++ b/configs/platform-v7a/barebox-vexpress.config.diff
@@ -1,4 +1,4 @@
-2c66986a487e0ff8d964d1f0c1230eed
+d3bb3696c8ff500f1870ffc7d17536b2
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 f66c4a9..b98a294 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.10.0 Configuration
+# Barebox/arm 2019.11.0 Configuration
#
CONFIG_ARM=y
CONFIG_ARM_LINUX=y
@@ -20,7 +20,6 @@ CONFIG_ARCH_BCM283X=y
# CONFIG_ARCH_LAYERSCAPE is not set
# CONFIG_ARCH_MVEBU is not set
# CONFIG_ARCH_MXS is not set
-# CONFIG_ARCH_NETX is not set
# CONFIG_ARCH_NOMADIK is not set
# CONFIG_ARCH_OMAP is not set
# CONFIG_ARCH_PXA is not set
@@ -201,6 +200,7 @@ CONFIG_STATE=y
# CONFIG_STATE_BACKWARD_COMPATIBLE is not set
# CONFIG_BOOTCHOOSER is not set
CONFIG_RESET_SOURCE=y
+# CONFIG_MACHINE_ID is not set
# end of General Settings
#
@@ -238,6 +238,7 @@ CONFIG_CMD_MEMINFO=y
CONFIG_CMD_ARM_MMUINFO=y
CONFIG_CMD_REGULATOR=y
CONFIG_CMD_VERSION=y
+CONFIG_CMD_MMC=y
# CONFIG_CMD_MMC_EXTCSD is not set
# end of Information
@@ -385,11 +386,13 @@ CONFIG_CMD_WD_DEFAULT_TIMOUT=0
CONFIG_CMD_BAREBOX_UPDATE=y
# CONFIG_CMD_BLOBGEN is not set
# CONFIG_CMD_FIRMWARELOAD is not set
+# CONFIG_CMD_OF_DIFF is not set
CONFIG_CMD_OF_DUMP=y
CONFIG_CMD_OF_NODE=y
CONFIG_CMD_OF_PROPERTY=y
# CONFIG_CMD_OF_DISPLAY_TIMINGS is not set
# CONFIG_CMD_OF_FIXUP_STATUS is not set
+# CONFIG_CMD_OF_OVERLAY is not set
CONFIG_CMD_OFTREE=y
CONFIG_CMD_TIME=y
CONFIG_CMD_STATE=y
@@ -418,6 +421,7 @@ CONFIG_OF_NET=y
CONFIG_OF_GPIO=y
CONFIG_OF_BAREBOX_DRIVERS=y
# CONFIG_OF_BAREBOX_ENV_IN_FS is not set
+# CONFIG_OF_OVERLAY is not set
# CONFIG_AIODEV is not set
CONFIG_ARM_AMBA=y
@@ -605,6 +609,8 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
# CONFIG_MFD_TWL4030 is not set
# CONFIG_MFD_TWL6030 is not set
# CONFIG_MFD_STPMIC1 is not set
+# CONFIG_FINTEK_SUPERIO is not set
+# CONFIG_SMSC_SUPERIO is not set
# end of MFD
#
@@ -687,6 +693,13 @@ CONFIG_PINCTRL=y
CONFIG_REGULATOR=y
# CONFIG_REGULATOR_FIXED is not set
CONFIG_REGULATOR_BCM283X=y
+
+#
+# Remoteproc drivers
+#
+# CONFIG_REMOTEPROC is not set
+# end of Remoteproc drivers
+
# CONFIG_RESET_CONTROLLER is not set
# CONFIG_RTC_CLASS is not set
diff --git a/configs/platform-v7a/platformconfig b/configs/platform-v7a/platformconfig
index 6068159..95441dc 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.10.0"
-PTXCONF_BAREBOX_COMMON_MD5="ae5315916a0b493a3545e99f5e26de5c"
+PTXCONF_BAREBOX_COMMON_VERSION="2019.11.0"
+PTXCONF_BAREBOX_COMMON_MD5="45bf108b22de94a73dfe5c024c873486"
PTXCONF_BAREBOX_COMMON_NEEDS_HOST_LZOP=y
PTXCONF_BAREBOX_AM335X_MLO=y
PTXCONF_BAREBOX_AM335X=y
diff --git a/scripts/update-diffs-v7a.sh b/scripts/update-diffs-v7a.sh
index 72490d7..0de34e4 100755
--- a/scripts/update-diffs-v7a.sh
+++ b/scripts/update-diffs-v7a.sh
@@ -2,5 +2,5 @@
BAREBOXES="barebox-common barebox-am335x barebox-mx6 barebox-rpi2 barebox-vexpress"
for pkg in $BAREBOXES; do
- ptxdist oldconfig $pkg
+ ptxdist/bin/ptxdist oldconfig $pkg
done