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.config21
1 files changed, 13 insertions, 8 deletions
diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config
index ce701a6..2a8bf5f 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.02.0-20200302-1 Configuration
+# Barebox/arm 2020.04.0 Configuration
#
CONFIG_ARM=y
CONFIG_ARM_LINUX=y
@@ -80,7 +80,6 @@ CONFIG_BINFMT=y
CONFIG_UIMAGE=y
CONFIG_LOGBUF=y
CONFIG_STDDEV=y
-CONFIG_BAREBOX_UPDATE=y
CONFIG_MENUTREE=y
CONFIG_FILE_LIST=y
CONFIG_USBGADGET_START=y
@@ -151,9 +150,9 @@ CONFIG_BOOTM_OFTREE=y
# CONFIG_BOOTM_OFTREE_UIMAGE is not set
# CONFIG_BOOTM_AIMAGE is not set
# CONFIG_BOOTM_FITIMAGE is not set
-# CONFIG_BOOTM_OPTEE is not set
CONFIG_BLSPEC=y
CONFIG_FLEXIBLE_BOOTARGS=y
+CONFIG_BAREBOX_UPDATE=y
CONFIG_IMD=y
# CONFIG_IMD_TARGET is not set
# CONFIG_KERNEL_INSTALL_TARGET is not set
@@ -189,6 +188,13 @@ CONFIG_STATE=y
# CONFIG_BOOTCHOOSER is not set
CONFIG_RESET_SOURCE=y
# CONFIG_MACHINE_ID is not set
+
+#
+# OP-TEE loading
+#
+# CONFIG_BOOTM_OPTEE is not set
+# CONFIG_PBL_OPTEE is not set
+# end of OP-TEE loading
# end of General Settings
#
@@ -200,7 +206,6 @@ CONFIG_DEFAULT_LOGLEVEL=6
# CONFIG_DEBUG_INITCALLS is not set
# CONFIG_PBL_BREAK is not set
# CONFIG_UBSAN is not set
-CONFIG_UBSAN_ALIGNMENT=y
# end of Debugging
CONFIG_HAS_DEBUG_LL=y
@@ -551,7 +556,6 @@ 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_FASTBOOT_SPARSE is not set
# CONFIG_USB_MUSB is not set
# CONFIG_VIDEO is not set
CONFIG_MCI=y
@@ -581,12 +585,12 @@ CONFIG_COMMON_CLK_OF_PROVIDER=y
#
CONFIG_AMBA_SP804=y
CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
-CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
+CONFIG_CLOCKSOURCE_ARM_ARCHITECTED_TIMER=y
# CONFIG_CLOCKSOURCE_DW_APB_TIMER is not set
# end of Clocksource
#
-# MFD
+# Multifunction device drivers
#
# CONFIG_MFD_ACT8846 is not set
# CONFIG_MFD_DA9053 is not set
@@ -602,7 +606,7 @@ CONFIG_CLOCKSOURCE_ARMV8_TIMER=y
# CONFIG_MFD_STPMIC1 is not set
# CONFIG_FINTEK_SUPERIO is not set
# CONFIG_SMSC_SUPERIO is not set
-# end of MFD
+# end of Multifunction device drivers
#
# Misc devices
@@ -716,6 +720,7 @@ CONFIG_FS_NFS=y
CONFIG_FS_FAT=y
CONFIG_FS_FAT_WRITE=y
CONFIG_FS_FAT_LFN=y
+# CONFIG_FS_JFFS2 is not set
# CONFIG_FS_BPKFS is not set
# CONFIG_FS_UIMAGEFS is not set
# CONFIG_FS_PSTORE is not set