diff options
Diffstat (limited to 'configs/platform-v7a/barebox-vexpress.config')
-rw-r--r-- | configs/platform-v7a/barebox-vexpress.config | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config index d507898..1765134 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 2020.09.0 Configuration +# Barebox/arm 2021.02.0 Configuration # CONFIG_ARM=y CONFIG_ARM_LINUX=y @@ -51,6 +51,7 @@ CONFIG_CPU_32v7=y CONFIG_ARCH_TEXT_BASE=0x0 CONFIG_BAREBOX_MAX_IMAGE_SIZE=0xffffffff CONFIG_MACH_VEXPRESS=y +# CONFIG_MACH_VIRT is not set CONFIG_BOARD_ARM_GENERIC_DT=y CONFIG_AEABI=y # CONFIG_THUMB2_BAREBOX is not set @@ -190,6 +191,7 @@ CONFIG_STATE=y # CONFIG_BOOTCHOOSER is not set CONFIG_RESET_SOURCE=y # CONFIG_MACHINE_ID is not set +# CONFIG_SYSTEMD_OF_WATCHDOG is not set # # OP-TEE loading @@ -208,6 +210,9 @@ CONFIG_DEFAULT_LOGLEVEL=6 # CONFIG_DEBUG_INITCALLS is not set # CONFIG_PBL_BREAK 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 # end of Debugging @@ -237,6 +242,7 @@ CONFIG_CMD_VERSION=y CONFIG_CMD_MMC=y # CONFIG_CMD_MMC_EXTCSD is not set # CONFIG_CMD_POLLER is not set +# CONFIG_CMD_SLICE is not set # end of Information # @@ -275,6 +281,7 @@ CONFIG_CMD_PRINTENV=y CONFIG_CMD_MAGICVAR=y CONFIG_CMD_MAGICVAR_HELP=y CONFIG_CMD_SAVEENV=y +CONFIG_CMD_SETENV=y # end of Environment # @@ -354,6 +361,7 @@ CONFIG_CMD_MEMCMP=y CONFIG_CMD_MEMCPY=y CONFIG_CMD_MEMSET=y CONFIG_CMD_MEMTEST=y +# CONFIG_CMD_MEMTESTER is not set CONFIG_CMD_MM=y CONFIG_CMD_MW=y # end of Memory @@ -405,6 +413,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 # # Drivers @@ -571,6 +580,7 @@ CONFIG_MCI_STARTUP=y CONFIG_MCI_INFO=y CONFIG_MCI_WRITE=y # CONFIG_MCI_MMC_BOOT_PARTITIONS is not set +# CONFIG_MCI_MMC_GPP_PARTITIONS is not set # # --- MCI host drivers --- |