diff options
Diffstat (limited to 'configs/platform-v7a/barebox-vexpress.config')
-rw-r--r-- | configs/platform-v7a/barebox-vexpress.config | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config index 1e46f68..c404788 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.02.0 Configuration +# Barebox/arm 2021.04.0 Configuration # CONFIG_ARM=y CONFIG_ARM_LINUX=y @@ -15,7 +15,6 @@ CONFIG_TEXT_BASE=0x0 # CONFIG_ARCH_DAVINCI is not set # CONFIG_ARCH_DIGIC is not set # CONFIG_ARCH_EP93XX is not set -# CONFIG_ARCH_HIGHBANK is not set # CONFIG_ARCH_IMX is not set # CONFIG_ARCH_LAYERSCAPE is not set # CONFIG_ARCH_MVEBU is not set @@ -35,7 +34,7 @@ CONFIG_ARCH_VEXPRESS=y # CONFIG_ARCH_UEMD is not set # CONFIG_ARCH_ZYNQ is not set # CONFIG_ARCH_ZYNQMP is not set -# CONFIG_ARCH_QEMU is not set +# CONFIG_ARCH_ARM64_VIRT is not set # # Processor Type @@ -74,6 +73,7 @@ CONFIG_HAS_KALLSYMS=y CONFIG_HAS_MODULES=y CONFIG_HAS_CACHE=y CONFIG_HAS_DMA=y +CONFIG_HAS_ARCH_SJLJ=y CONFIG_BLOCK=y CONFIG_BLOCK_WRITE=y CONFIG_FILETYPE=y @@ -106,6 +106,7 @@ CONFIG_HAVE_IMAGE_COMPRESSION=y CONFIG_PBL_IMAGE=y CONFIG_PBL_MULTI_IMAGES=y CONFIG_PBL_RELOCATABLE=y +CONFIG_BOARD_GENERIC_DT=y CONFIG_IMAGE_COMPRESSION=y # CONFIG_IMAGE_COMPRESSION_LZ4 is not set CONFIG_IMAGE_COMPRESSION_LZO=y @@ -185,6 +186,7 @@ CONFIG_DEFAULT_ENVIRONMENT_PATH="$(objtree)/.ptxdist-defaultenv" # CONFIG_BAREBOXENV_TARGET is not set # CONFIG_BAREBOXCRC32_TARGET is not set CONFIG_POLLER=y +CONFIG_BTHREAD=y CONFIG_STATE=y # CONFIG_STATE_CRYPTO is not set # CONFIG_STATE_BACKWARD_COMPATIBLE is not set @@ -242,6 +244,7 @@ CONFIG_CMD_VERSION=y CONFIG_CMD_MMC=y # CONFIG_CMD_MMC_EXTCSD is not set # CONFIG_CMD_POLLER is not set +CONFIG_CMD_BTHREAD=y # CONFIG_CMD_SLICE is not set # end of Information @@ -572,6 +575,7 @@ CONFIG_USB_GADGET_SERIAL=y # CONFIG_USB_GADGET_FASTBOOT is not set # CONFIG_USB_MUSB is not set # CONFIG_VIDEO is not set +# CONFIG_SOUND is not set CONFIG_MCI=y # @@ -709,6 +713,10 @@ CONFIG_REGULATOR=y # NVME Support # # end of NVME Support + +# CONFIG_POWER_RESET_SYSCON is not set +# CONFIG_POWER_RESET_SYSCON_POWEROFF is not set +# CONFIG_VIRTIO_MENU is not set # end of Drivers # |