diff options
Diffstat (limited to 'configs/platform-v7a/barebox-vexpress.config')
-rw-r--r-- | configs/platform-v7a/barebox-vexpress.config | 167 |
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 # |