summaryrefslogtreecommitdiffstats
path: root/configs/platform-v7a/barebox-vexpress.config
diff options
context:
space:
mode:
Diffstat (limited to 'configs/platform-v7a/barebox-vexpress.config')
-rw-r--r--configs/platform-v7a/barebox-vexpress.config167
1 files changed, 126 insertions, 41 deletions
diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config
index cc006d6..06b9ee6 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 2021.11.0 Configuration
+# Barebox/arm 2024.01.0 Configuration
#
CONFIG_ARM=y
CONFIG_ARM_LINUX=y
@@ -9,32 +9,29 @@ CONFIG_TEXT_BASE=0x0
#
# System Type
#
+CONFIG_ARCH_MULTIARCH=y
# CONFIG_ARCH_AT91 is not set
-# CONFIG_ARCH_BCM283X is not set
# CONFIG_ARCH_CLPS711X is not set
# CONFIG_ARCH_DAVINCI is not set
# CONFIG_ARCH_DIGIC is not set
# CONFIG_ARCH_EP93XX is not set
-# CONFIG_ARCH_IMX is not set
# CONFIG_ARCH_LAYERSCAPE is not set
# CONFIG_ARCH_MVEBU is not set
# CONFIG_ARCH_MXS is not set
# CONFIG_ARCH_NOMADIK is not set
-# CONFIG_ARCH_OMAP is not set
+# CONFIG_ARCH_OMAP_SINGLE is not set
# CONFIG_ARCH_PXA is not set
-# CONFIG_ARCH_ROCKCHIP is not set
# CONFIG_ARCH_SOCFPGA is not set
-# CONFIG_ARCH_S3C24xx is not set
-# CONFIG_ARCH_S5PCxx is not set
-# CONFIG_ARCH_S3C64xx is not set
-# CONFIG_ARCH_STM32MP is not set
-# CONFIG_ARCH_VERSATILE is not set
-CONFIG_ARCH_VEXPRESS=y
# CONFIG_ARCH_TEGRA is not set
# CONFIG_ARCH_UEMD is not set
# CONFIG_ARCH_ZYNQ is not set
-# CONFIG_ARCH_ZYNQMP is not set
-# CONFIG_ARCH_ARM64_VIRT is not set
+# CONFIG_ARCH_BCM283X is not set
+# CONFIG_ARCH_IMX is not set
+# CONFIG_ARCH_OMAP_MULTI is not set
+# CONFIG_ARCH_ROCKCHIP is not set
+# CONFIG_ARCH_STM32MP is not set
+# CONFIG_ARCH_VERSATILE is not set
+CONFIG_ARCH_VEXPRESS=y
#
# Processor Type
@@ -48,8 +45,6 @@ CONFIG_CPU_32v7=y
#
# CONFIG_BOOT_ENDIANNESS_SWITCH is not set
CONFIG_ARCH_TEXT_BASE=0x0
-CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
-# CONFIG_ARCH_RK3568_OPTEE is not set
CONFIG_MACH_VEXPRESS=y
# CONFIG_MACH_VIRT is not set
CONFIG_BOARD_ARM_GENERIC_DT=y
@@ -58,6 +53,9 @@ CONFIG_AEABI=y
# CONFIG_ARM_BOARD_APPEND_ATAG is not set
# end of System Type
+# CONFIG_64BIT is not set
+CONFIG_32BIT=y
+
#
# ARM specific settings
#
@@ -74,17 +72,19 @@ CONFIG_HAS_KALLSYMS=y
CONFIG_HAS_MODULES=y
CONFIG_HAS_CACHE=y
CONFIG_HAS_DMA=y
-CONFIG_HAS_ARCH_SJLJ=y
+CONFIG_ARCH_HAS_SJLJ=y
CONFIG_BLOCK=y
CONFIG_BLOCK_WRITE=y
CONFIG_FILETYPE=y
CONFIG_BINFMT=y
CONFIG_UIMAGE=y
+CONFIG_FITIMAGE=y
CONFIG_LOGBUF=y
CONFIG_STDDEV=y
CONFIG_MENUTREE=y
CONFIG_USBGADGET_START=y
CONFIG_BOOT=y
+CONFIG_FASTBOOT_BASE=y
#
# General Settings
@@ -93,6 +93,7 @@ CONFIG_LOCALVERSION=""
CONFIG_LOCALVERSION_AUTO=y
CONFIG_BANNER=y
CONFIG_MEMINFO=y
+CONFIG_MEMTEST=y
CONFIG_ENVIRONMENT_VARIABLES=y
CONFIG_GLOBALVAR=y
CONFIG_NVVAR=y
@@ -114,11 +115,13 @@ CONFIG_IMAGE_COMPRESSION_LZO=y
# CONFIG_IMAGE_COMPRESSION_XZKERN is not set
# CONFIG_IMAGE_COMPRESSION_NONE is not set
CONFIG_MMU=y
-CONFIG_MMU_EARLY=y
+CONFIG_MMUINFO=y
+CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff
CONFIG_BAREBOX_MAX_PBL_SIZE=0xffffffff
CONFIG_BAREBOX_MAX_BARE_INIT_SIZE=0xffffffff
CONFIG_STACK_SIZE=0x8000
CONFIG_MALLOC_SIZE=0x0
+CONFIG_MALLOC_ALIGNMENT=8
# end of memory layout
# CONFIG_EXPERIMENTAL is not set
@@ -143,7 +146,6 @@ CONFIG_CMDLINE_EDITING=y
CONFIG_AUTO_COMPLETE=y
CONFIG_MENU=y
# CONFIG_PASSWORD is not set
-CONFIG_DYNAMIC_CRC_TABLE=y
CONFIG_ERRNO_MESSAGES=y
CONFIG_TIMESTAMP=y
CONFIG_BOOTM=y
@@ -154,12 +156,13 @@ CONFIG_BOOTM_OFTREE=y
# CONFIG_BOOTM_OFTREE_UIMAGE is not set
# CONFIG_BOOTM_AIMAGE is not set
# CONFIG_BOOTM_ELF is not set
-# CONFIG_BOOTM_FITIMAGE is not set
+CONFIG_BOOTM_FITIMAGE=y
+# CONFIG_BOOTM_FITIMAGE_SIGNATURE is not set
CONFIG_BLSPEC=y
CONFIG_FLEXIBLE_BOOTARGS=y
-# CONFIG_MMCBLKDEV_ROOTARG is not set
+CONFIG_MMCBLKDEV_ROOTARG=y
CONFIG_BAREBOX_UPDATE=y
-# CONFIG_SYSTEM_PARTITIONS is not set
+CONFIG_SYSTEM_PARTITIONS=y
CONFIG_IMD=y
CONFIG_CONSOLE_FULL=y
# CONFIG_CONSOLE_SIMPLE is not set
@@ -174,13 +177,11 @@ CONFIG_PBL_CONSOLE=y
CONFIG_PARTITION=y
CONFIG_PARTITION_DISK=y
CONFIG_PARTITION_DISK_DOS=y
-# CONFIG_PARTITION_DISK_EFI is not set
+CONFIG_PARTITION_DISK_EFI=y
+CONFIG_PARTITION_DISK_EFI_GPT_NO_FORCE=y
+CONFIG_PARTITION_DISK_EFI_GPT_COMPARE=y
CONFIG_ENV_HANDLING=y
CONFIG_DEFAULT_ENVIRONMENT=y
-# CONFIG_DEFAULT_COMPRESSION_GZIP is not set
-# CONFIG_DEFAULT_COMPRESSION_BZIP2 is not set
-# CONFIG_DEFAULT_COMPRESSION_LZO is not set
-# CONFIG_DEFAULT_COMPRESSION_XZ is not set
CONFIG_DEFAULT_COMPRESSION_NONE=y
CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW=y
CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_MENU=y
@@ -192,11 +193,11 @@ CONFIG_BTHREAD=y
CONFIG_STATE=y
# CONFIG_STATE_CRYPTO is not set
# CONFIG_STATE_BACKWARD_COMPATIBLE is not set
-# CONFIG_BOOTCHOOSER is not set
+CONFIG_BOOTCHOOSER=y
CONFIG_RESET_SOURCE=y
# CONFIG_MACHINE_ID is not set
# CONFIG_SYSTEMD_OF_WATCHDOG is not set
-CONFIG_EXTERNAL_DTS_FRAGMENTS=""
+CONFIG_EXTERNAL_DTS_FRAGMENTS="${PTXDIST_PLATFORMCONFIGDIR}/dts/bootstate.dtsi"
#
# OP-TEE loading
@@ -204,6 +205,13 @@ CONFIG_EXTERNAL_DTS_FRAGMENTS=""
# CONFIG_BOOTM_OPTEE is not set
# CONFIG_PBL_OPTEE is not set
# end of OP-TEE loading
+
+#
+# Android Fastboot
+#
+CONFIG_FASTBOOT_SPARSE=y
+CONFIG_FASTBOOT_CMD_OEM=y
+# end of Android Fastboot
# end of General Settings
#
@@ -213,15 +221,24 @@ CONFIG_COMPILE_LOGLEVEL=7
CONFIG_DEFAULT_LOGLEVEL=6
# CONFIG_DEBUG_LL is not set
# CONFIG_DEBUG_INITCALLS is not set
+# CONFIG_DEBUG_PBL is not set
# CONFIG_DEBUG_PROBES is not set
+# CONFIG_DMA_API_DEBUG is not set
# CONFIG_PBL_BREAK is not set
+# CONFIG_PRINTF_FULL is not set
# CONFIG_UBSAN is not set
CONFIG_HAVE_ARCH_KASAN=y
CONFIG_CC_HAS_KASAN_GENERIC=y
# CONFIG_KASAN is not set
# CONFIG_COMPILE_TEST is not set
+# CONFIG_WERROR is not set
# end of Debugging
+#
+# EFI (Extensible Firmware Interface) Support
+#
+# end of EFI (Extensible Firmware Interface) Support
+
CONFIG_HAS_DEBUG_LL=y
CONFIG_COMMAND_SUPPORT=y
CONFIG_COMPILE_HASH=y
@@ -233,8 +250,11 @@ CONFIG_COMPILE_HASH=y
#
# Information
#
+# CONFIG_CMD_TUTORIAL is not set
CONFIG_CMD_ARM_CPUINFO=y
CONFIG_CMD_DEVINFO=y
+# CONFIG_CMD_DEVLOOKUP is not set
+# CONFIG_CMD_DEVUNBIND is not set
CONFIG_CMD_DMESG=y
CONFIG_CMD_DRVINFO=y
CONFIG_CMD_HELP=y
@@ -265,6 +285,7 @@ CONFIG_CMD_GO=y
# CONFIG_CMD_LOADY is not set
CONFIG_CMD_RESET=y
CONFIG_CMD_UIMAGE=y
+CONFIG_CMD_BOOTCHOOSER=y
# end of Boot
#
@@ -304,6 +325,7 @@ CONFIG_CMD_DIRNAME=y
CONFIG_CMD_FILETYPE=y
CONFIG_CMD_LN=y
CONFIG_CMD_LS=y
+# CONFIG_CMD_STAT is not set
CONFIG_CMD_MD5SUM=y
CONFIG_CMD_MKDIR=y
CONFIG_CMD_PWD=y
@@ -337,10 +359,11 @@ CONFIG_CMD_TRUE=y
CONFIG_CMD_DHCP=y
CONFIG_CMD_HOST=y
CONFIG_NET_CMD_IFUP=y
-# CONFIG_CMD_MIITOOL is not set
+CONFIG_CMD_MIITOOL=y
CONFIG_CMD_PING=y
CONFIG_CMD_TFTP=y
CONFIG_CMD_IP_ROUTE_GET=y
+# CONFIG_CMD_ETHLOG is not set
# end of Network
#
@@ -397,15 +420,18 @@ 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_COMPATIBLE=y
+CONFIG_CMD_OF_DIFF=y
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=y
CONFIG_CMD_OF_FIXUP_STATUS=y
CONFIG_CMD_OF_OVERLAY=y
CONFIG_CMD_OFTREE=y
CONFIG_CMD_TIME=y
+# CONFIG_CMD_UPTIME is not set
CONFIG_CMD_STATE=y
# CONFIG_CMD_DHRYSTONE is not set
# CONFIG_CMD_SPD_DECODE is not set
@@ -420,7 +446,7 @@ CONFIG_NET_RESOLV=y
CONFIG_NET_IFUP=y
CONFIG_NET_DHCP=y
# CONFIG_NET_SNTP is not set
-# CONFIG_NET_FASTBOOT is not set
+CONFIG_NET_FASTBOOT=y
#
# Drivers
@@ -428,6 +454,7 @@ CONFIG_NET_DHCP=y
CONFIG_OFTREE=y
CONFIG_OFTREE_MEM_GENERIC=y
CONFIG_DTC=y
+CONFIG_OF=y
CONFIG_OFDEVICE=y
CONFIG_OF_BAREBOX_DRIVERS=y
# CONFIG_OF_BAREBOX_ENV_IN_FS is not set
@@ -452,8 +479,9 @@ CONFIG_PHYLIB=y
#
# Network drivers
#
-# CONFIG_DRIVER_NET_DESIGNWARE is not set
-# CONFIG_DRIVER_NET_DESIGNWARE_EQOS is not set
+# CONFIG_DRIVER_NET_ARC_EMAC is not set
+# CONFIG_DRIVER_NET_BCMGENET is not set
+# CONFIG_DRIVER_NET_DESIGNWARE_GENERIC is not set
# CONFIG_DRIVER_NET_ENC28J60 is not set
# CONFIG_DRIVER_NET_FSL_FMAN is not set
# CONFIG_DRIVER_NET_KS8851_MLL is not set
@@ -473,9 +501,12 @@ CONFIG_DRIVER_NET_SMC911X=y
# CONFIG_AT803X_PHY is not set
# CONFIG_DAVICOM_PHY is not set
# CONFIG_DP83867_PHY is not set
+# CONFIG_DP83TD510_PHY is not set
+# CONFIG_DP83TG720_PHY is not set
# CONFIG_LXT_PHY is not set
# CONFIG_MARVELL_PHY is not set
# CONFIG_MICREL_PHY is not set
+# CONFIG_MOTORCOMM_PHY is not set
# CONFIG_NATIONAL_PHY is not set
# CONFIG_REALTEK_PHY is not set
# CONFIG_SMSC_PHY is not set
@@ -491,6 +522,8 @@ CONFIG_NET_USB=y
CONFIG_NET_USB_ASIX=y
# CONFIG_USB_NET_AX88179_178A is not set
CONFIG_NET_USB_SMSC95XX=y
+# CONFIG_NET_USB_RTL8152 is not set
+# CONFIG_DSA is not set
# end of Network drivers
#
@@ -569,6 +602,8 @@ CONFIG_USB_STORAGE=y
# USB Miscellaneous drivers
#
# CONFIG_USB_HUB_USB251XB is not set
+# CONFIG_USB_ONBOARD_HUB is not set
+# CONFIG_TYPEC_TUSB320 is not set
CONFIG_USB_GADGET=y
CONFIG_USB_GADGET_AUTOSTART=y
@@ -577,8 +612,8 @@ CONFIG_USB_GADGET_AUTOSTART=y
#
# CONFIG_USB_GADGET_DFU is not set
CONFIG_USB_GADGET_SERIAL=y
-# CONFIG_USB_GADGET_FASTBOOT is not set
-# CONFIG_USB_GADGET_MASS_STORAGE is not set
+CONFIG_USB_GADGET_FASTBOOT=y
+CONFIG_USB_GADGET_MASS_STORAGE=y
# CONFIG_USB_MUSB is not set
# CONFIG_VIDEO is not set
# CONFIG_SOUND is not set
@@ -596,15 +631,18 @@ CONFIG_MCI_WRITE=y
#
# --- MCI host drivers ---
#
+# CONFIG_MCI_DWC_MSHC is not set
# CONFIG_MCI_DW is not set
# CONFIG_MCI_ROCKCHIP_DWCMSHC is not set
CONFIG_MCI_MMCI=y
# CONFIG_MCI_ARASAN is not set
+# CONFIG_MCI_AM654 is not set
# CONFIG_MCI_SPI is not set
CONFIG_HAVE_CLK=y
CONFIG_CLKDEV_LOOKUP=y
CONFIG_COMMON_CLK=y
CONFIG_COMMON_CLK_OF_PROVIDER=y
+CONFIG_COMMON_CLK_GPIO=y
#
# Clocksource
@@ -630,7 +668,12 @@ CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
# CONFIG_MFD_TWL4030 is not set
# CONFIG_MFD_TWL6030 is not set
# CONFIG_MFD_STPMIC1 is not set
+# CONFIG_MFD_PCA9450 is not set
+# CONFIG_MFD_RN568PMIC is not set
# CONFIG_MFD_ATMEL_FLEXCOM is not set
+# CONFIG_MFD_RK808 is not set
+# CONFIG_MFD_AXP20X_I2C is not set
+# CONFIG_MFD_ROHM_BD718XX is not set
# end of Multifunction device drivers
#
@@ -640,6 +683,7 @@ CONFIG_SRAM=y
CONFIG_STATE_DRV=y
CONFIG_DEV_MEM=y
# CONFIG_UBOOTVAR is not set
+# CONFIG_STORAGE_BY_UUID is not set
# end of Misc devices
CONFIG_LED=y
@@ -663,6 +707,7 @@ CONFIG_LED_TRIGGERS=y
CONFIG_WATCHDOG=y
# CONFIG_WATCHDOG_POLLER is not set
# CONFIG_WATCHDOG_DW is not set
+# CONFIG_CADENCE_WATCHDOG is not set
# CONFIG_PWM is not set
CONFIG_HWRNG=y
@@ -701,6 +746,13 @@ CONFIG_REGULATOR=y
#
# Firmware Drivers
#
+# CONFIG_QEMU_FW_CFG is not set
+
+#
+# ARM System Control and Management Interface Protocol
+#
+# CONFIG_ARM_SCMI_PROTOCOL is not set
+# end of ARM System Control and Management Interface Protocol
# end of Firmware Drivers
#
@@ -710,7 +762,11 @@ CONFIG_REGULATOR=y
# end of FPGA Configuration Support
# CONFIG_GENERIC_PHY is not set
-# CONFIG_CRYPTO_HW is not set
+
+#
+# Hardware crypto devices
+#
+# end of Hardware crypto devices
#
# Memory controller drivers
@@ -718,11 +774,21 @@ CONFIG_REGULATOR=y
# end of Memory controller drivers
#
+# SoC drivers
+#
+
+#
# i.MX SoC drivers
#
# end of i.MX SoC drivers
#
+# KVX SoC drivers
+#
+# end of KVX SoC drivers
+# end of SoC drivers
+
+#
# NVME Support
#
# end of NVME Support
@@ -730,6 +796,8 @@ CONFIG_REGULATOR=y
# CONFIG_POWER_RESET_SYSCON is not set
# CONFIG_POWER_RESET_SYSCON_POWEROFF is not set
# CONFIG_VIRTIO_MENU is not set
+# CONFIG_MAILBOX is not set
+# CONFIG_TEE is not set
# end of Drivers
#
@@ -751,6 +819,7 @@ CONFIG_FS_EXT4=y
CONFIG_FS_RAMFS=y
CONFIG_FS_DEVFS=y
CONFIG_FS_TFTP=y
+CONFIG_FS_TFTP_MAX_WINDOW_SIZE=128
CONFIG_FS_NFS=y
CONFIG_FS_FAT=y
CONFIG_FS_FAT_WRITE=y
@@ -798,11 +867,13 @@ CONFIG_XZ_DEC_IA64=y
CONFIG_XZ_DEC_ARM=y
CONFIG_XZ_DEC_ARMTHUMB=y
CONFIG_XZ_DEC_SPARC=y
+CONFIG_XZ_DEC_ARM64=y
# CONFIG_BASE64 is not set
CONFIG_PROCESS_ESCAPE_SEQUENCE=y
CONFIG_LZO_DECOMPRESS=y
CONFIG_FNMATCH=y
CONFIG_QSORT=y
+CONFIG_IMAGE_SPARSE=y
CONFIG_LIBFDT=y
# CONFIG_RATP is not set
# CONFIG_ALLOW_PRNG_FALLBACK is not set
@@ -814,20 +885,33 @@ CONFIG_LIBFDT=y
#
# end of Library gui routines
-# CONFIG_BAREBOX_LOGO is not set
-# CONFIG_NLS is not set
+CONFIG_PRINTF_UUID=y
+CONFIG_NLS=y
# CONFIG_BLOBGEN is not set
CONFIG_ARCH_HAS_STACK_DUMP=y
CONFIG_ARCH_HAS_DATA_ABORT_MASK=y
+CONFIG_ARCH_HAS_ZERO_PAGE=y
# end of Library routines
#
+# Hardening options
+#
+# CONFIG_STACK_GUARD_PAGE is not set
+CONFIG_STACKPROTECTOR_NONE=y
+# CONFIG_STACKPROTECTOR_STRONG is not set
+CONFIG_PBL_STACKPROTECTOR_NONE=y
+# CONFIG_PBL_STACKPROTECTOR_STRONG is not set
+# end of Hardening options
+
+#
# Crypto support
#
CONFIG_CRC32=y
CONFIG_DIGEST=y
-CONFIG_MD5=y
-CONFIG_SHA1=y
+CONFIG_HAVE_DIGEST_MD5=y
+CONFIG_HAVE_DIGEST_SHA1=y
+CONFIG_HAVE_DIGEST_SHA224=y
+CONFIG_HAVE_DIGEST_SHA256=y
# CONFIG_DIGEST_CRC32_GENERIC is not set
CONFIG_DIGEST_MD5_GENERIC=y
CONFIG_DIGEST_SHA1_GENERIC=y
@@ -837,7 +921,7 @@ CONFIG_DIGEST_SHA1_GENERIC=y
# CONFIG_DIGEST_SHA512_GENERIC is not set
# CONFIG_DIGEST_HMAC_GENERIC is not set
# CONFIG_DIGEST_SHA1_ARM is not set
-# CONFIG_DIGEST_SHA256_ARM is not set
+CONFIG_DIGEST_SHA256_ARM=y
# CONFIG_CRYPTO_KEYSTORE is not set
# end of Crypto support
@@ -845,6 +929,7 @@ CONFIG_DIGEST_SHA1_GENERIC=y
# Firmware files
#
CONFIG_EXTRA_FIRMWARE_DIR="firmware"
+CONFIG_MISSING_FIRMWARE_ERROR=y
# end of Firmware files
#