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