#
# Automatically generated file; DO NOT EDIT.
# U-Boot 2023.04 Configuration
#

#
# Compiler: gcc (Debian 8.3.0-6) 8.3.0
#
CONFIG_ARCH_MAP_SYSMEM=y
CONFIG_SYS_CACHE_SHIFT_4=y
CONFIG_SYS_CACHELINE_SIZE=16
CONFIG_LINKER_LIST_ALIGN=32
# CONFIG_ARC is not set
# CONFIG_ARM is not set
# CONFIG_M68K is not set
# CONFIG_MICROBLAZE is not set
# CONFIG_MIPS is not set
# CONFIG_NIOS2 is not set
# CONFIG_PPC is not set
# CONFIG_RISCV is not set
CONFIG_SANDBOX=y
# CONFIG_SH is not set
# CONFIG_X86 is not set
# CONFIG_XTENSA is not set
CONFIG_SYS_ARCH="sandbox"
CONFIG_SYS_CPU="sandbox"
CONFIG_SYS_BOARD="sandbox"
CONFIG_SYS_CONFIG_NAME="sandbox"
CONFIG_TEXT_BASE=0
CONFIG_SYS_MALLOC_LEN=0x2000000
CONFIG_SYS_MALLOC_F_LEN=0x4000
CONFIG_NR_DRAM_BANKS=4
CONFIG_ENV_SIZE=0x2000
CONFIG_DM_GPIO=y
CONFIG_DEFAULT_DEVICE_TREE="sandbox"
CONFIG_SYS_PROMPT="=> "
CONFIG_MULTI_DTB_FIT_UNCOMPRESS_SZ=0x8000
# CONFIG_DM_RESET is not set
CONFIG_ERR_PTR_OFFSET=0x0
CONFIG_BOOTSTAGE_STASH_ADDR=0
CONFIG_IDENT_STRING=""
CONFIG_SYS_CLK_FREQ=0
CONFIG_SYS_MEM_TOP_HIDE=0x0
CONFIG_SYS_LOAD_ADDR=0x0
CONFIG_BUILD_TARGET=""
# CONFIG_SYS_PCI_64BIT is not set

#
# Sandbox architecture
#
# CONFIG_SANDBOX64 is not set
CONFIG_SANDBOX_RAM_SIZE_MB=256
# CONFIG_SANDBOX_SPL is not set
# CONFIG_SANDBOX_TPL is not set
# CONFIG_SANDBOX_VPL is not set
CONFIG_HOST_64BIT=y
# CONFIG_SANDBOX_SDL is not set
# CONFIG_SANDBOX_CRASH_RESET is not set
CONFIG_SANDBOX_BITS_PER_LONG=64
CONFIG_SYS_FDT_LOAD_ADDR=0x100
CONFIG_FWU_NUM_BANKS=2
CONFIG_FWU_NUM_IMAGES_PER_BANK=2
# CONFIG_DEBUG_UART is not set
# CONFIG_AHCI is not set
# CONFIG_OF_BOARD_FIXUP is not set

#
# General setup
#
CONFIG_LOCALVERSION=""
CONFIG_LOCALVERSION_AUTO=y
CONFIG_CC_IS_GCC=y
CONFIG_GCC_VERSION=80300
CONFIG_CLANG_VERSION=0
CONFIG_CC_OPTIMIZE_FOR_SIZE=y
# CONFIG_CC_OPTIMIZE_FOR_SPEED is not set
# CONFIG_CC_OPTIMIZE_FOR_DEBUG is not set
# CONFIG_OPTIMIZE_INLINING is not set
CONFIG_ARCH_SUPPORTS_LTO=y
CONFIG_LTO=y
# CONFIG_CC_COVERAGE is not set
# CONFIG_ASAN is not set
CONFIG_CC_HAS_ASM_INLINE=y
# CONFIG_XEN is not set
# CONFIG_ENV_VARS_UBOOT_CONFIG is not set
# CONFIG_SYS_BOOT_GET_CMDLINE is not set
# CONFIG_SYS_BOOT_GET_KBD is not set
CONFIG_SYS_MALLOC_F=y
# CONFIG_VALGRIND is not set
CONFIG_EXPERT=y
CONFIG_SYS_MALLOC_CLEAR_ON_INIT=y
# CONFIG_SYS_MALLOC_DEFAULT_TO_INIT is not set
# CONFIG_TOOLS_DEBUG is not set
# CONFIG_PHYS_64BIT is not set
# CONFIG_REMAKE_ELF is not set
# CONFIG_HAS_BOARD_SIZE_LIMIT is not set
# CONFIG_SYS_CUSTOM_LDSCRIPT is not set
CONFIG_PLATFORM_ELFENTRY="_start"
CONFIG_STACK_SIZE=0x1000000
CONFIG_SYS_SRAM_BASE=0x0
CONFIG_SYS_SRAM_SIZE=0x0
CONFIG_SYS_MONITOR_LEN=0
# CONFIG_MP is not set

#
# API
#
# CONFIG_API is not set
CONFIG_STANDALONE_LOAD_ADDR=0x0

#
# Boot options
#

#
# Boot images
#
CONFIG_ANDROID_BOOT_IMAGE=y
CONFIG_FIT=y
CONFIG_TIMESTAMP=y
CONFIG_FIT_EXTERNAL_OFFSET=0x0
CONFIG_FIT_FULL_CHECK=y
CONFIG_FIT_SIGNATURE=y
CONFIG_FIT_SIGNATURE_MAX_SIZE=0x10000000
# CONFIG_FIT_RSASSA_PSS is not set
# CONFIG_FIT_CIPHER is not set
# CONFIG_FIT_VERBOSE is not set
# CONFIG_FIT_BEST_MATCH is not set
CONFIG_FIT_PRINT=y
# CONFIG_SPL_LOAD_FIT_FULL is not set
CONFIG_PXE_UTILS=y
CONFIG_BOOTSTD=y
# CONFIG_BOOTSTD_FULL is not set
# CONFIG_BOOTSTD_DEFAULTS is not set
CONFIG_BOOTSTD_BOOTCOMMAND=y
CONFIG_BOOTMETH_DISTRO=y
# CONFIG_BOOTMETH_VBE is not set
CONFIG_BOOTMETH_SANDBOX=y
# CONFIG_BOOTMETH_SCRIPT is not set
# CONFIG_LEGACY_IMAGE_FORMAT is not set
# CONFIG_SUPPORT_RAW_INITRD is not set
CONFIG_OF_BOARD_SETUP=y
# CONFIG_OF_SYSTEM_SETUP is not set
# CONFIG_OF_STDOUT_VIA_ALIAS is not set
CONFIG_HAVE_TEXT_BASE=y
# CONFIG_DYNAMIC_SYS_CLK_FREQ is not set
CONFIG_ARCH_FIXUP_FDT_MEMORY=y
# CONFIG_CHROMEOS is not set
# CONFIG_CHROMEOS_VBOOT is not set
# CONFIG_RAMBOOT_PBL is not set
# CONFIG_DISTRO_DEFAULTS is not set

#
# Boot timing
#
# CONFIG_BOOTSTAGE is not set
CONFIG_BOOTSTAGE_STASH_SIZE=0x1000
# CONFIG_SHOW_BOOT_PROGRESS is not set

#
# Boot media
#
# CONFIG_NAND_BOOT is not set
# CONFIG_ONENAND_BOOT is not set
# CONFIG_QSPI_BOOT is not set
# CONFIG_SATA_BOOT is not set
# CONFIG_SD_BOOT is not set
# CONFIG_SD_BOOT_QSPI is not set
# CONFIG_SPI_BOOT is not set

#
# Autoboot options
#
CONFIG_AUTOBOOT=y
CONFIG_BOOTDELAY=2
# CONFIG_AUTOBOOT_KEYED is not set
# CONFIG_AUTOBOOT_USE_MENUKEY is not set
# CONFIG_BOOT_RETRY is not set

#
# Image support
#
# CONFIG_IMAGE_PRE_LOAD is not set
# CONFIG_USE_BOOTARGS is not set
CONFIG_BOOTARGS_SUBST=y
CONFIG_USE_BOOTCOMMAND=y
CONFIG_BOOTCOMMAND="run distro_bootcmd"
# CONFIG_USE_PREBOOT is not set
CONFIG_DEFAULT_FDT_FILE=""

#
# Console
#
CONFIG_MENU=y
# CONFIG_CONSOLE_RECORD is not set
# CONFIG_DISABLE_CONSOLE is not set
CONFIG_LOGLEVEL=4
CONFIG_SILENT_CONSOLE=y
# CONFIG_SPL_SILENT_CONSOLE is not set
# CONFIG_TPL_SILENT_CONSOLE is not set
# CONFIG_SILENT_U_BOOT_ONLY is not set
CONFIG_SILENT_CONSOLE_UPDATE_ON_SET=y
# CONFIG_SILENT_CONSOLE_UPDATE_ON_RELOC is not set
# CONFIG_SILENT_CONSOLE_UNTIL_ENV is not set
# CONFIG_PRE_CONSOLE_BUFFER is not set
CONFIG_CONSOLE_FLUSH_SUPPORT=y
# CONFIG_CONSOLE_MUX is not set
# CONFIG_SYS_CONSOLE_IS_IN_ENV is not set
# CONFIG_SYS_CONSOLE_OVERWRITE_ROUTINE is not set
# CONFIG_SYS_CONSOLE_ENV_OVERWRITE is not set
# CONFIG_SYS_CONSOLE_INFO_QUIET is not set
# CONFIG_SYS_STDIO_DEREGISTER is not set
# CONFIG_SPL_SYS_STDIO_DEREGISTER is not set
# CONFIG_SYS_DEVICE_NULLDEV is not set

#
# Logging
#
# CONFIG_LOG is not set

#
# Init options
#
# CONFIG_BOARD_TYPES is not set
# CONFIG_DISPLAY_CPUINFO is not set
CONFIG_DISPLAY_BOARDINFO=y
# CONFIG_DISPLAY_BOARDINFO_LATE is not set

#
# Start-up hooks
#
# CONFIG_CYCLIC is not set
CONFIG_EVENT=y
CONFIG_EVENT_DEBUG=y
# CONFIG_ARCH_EARLY_INIT_R is not set
# CONFIG_ARCH_MISC_INIT is not set
# CONFIG_BOARD_EARLY_INIT_F is not set
# CONFIG_BOARD_EARLY_INIT_R is not set
# CONFIG_BOARD_POSTCLK_INIT is not set
CONFIG_BOARD_LATE_INIT=y
# CONFIG_HWCONFIG is not set
# CONFIG_LAST_STAGE_INIT is not set
# CONFIG_MISC_INIT_R is not set
# CONFIG_SYS_MALLOC_BOOTPARAMS is not set
# CONFIG_ID_EEPROM is not set
# CONFIG_PCI_INIT_R is not set
# CONFIG_RESET_PHY_R is not set

#
# Security support
#
CONFIG_HASH=y
CONFIG_SCP03=y
# CONFIG_STACKPROTECTOR is not set
# CONFIG_BOARD_RNG_SEED is not set

#
# Update support
#
# CONFIG_UPDATE_TFTP is not set
# CONFIG_ANDROID_AB is not set

#
# Blob list
#
CONFIG_BLOBLIST=y
CONFIG_BLOBLIST_FIXED=y
# CONFIG_BLOBLIST_ALLOC is not set
CONFIG_BLOBLIST_ADDR=0xc000
CONFIG_BLOBLIST_SIZE=0x400
CONFIG_BLOBLIST_SIZE_RELOC=0x400
CONFIG_IMAGE_SIGN_INFO=y
# CONFIG_FDT_SIMPLEFB is not set
CONFIG_IO_TRACE=y

#
# Command line interface
#
CONFIG_CMDLINE=y
# CONFIG_HUSH_PARSER is not set
CONFIG_CMDLINE_EDITING=y
CONFIG_AUTO_COMPLETE=y
CONFIG_SYS_LONGHELP=y
CONFIG_SYS_MAXARGS=16
CONFIG_SYS_CBSIZE=1024
CONFIG_SYS_PBSIZE=1044
CONFIG_SYS_XTRACE=y
CONFIG_BUILD_BIN2C=y

#
# Commands
#

#
# Info commands
#
CONFIG_CMD_BDI=y
CONFIG_CMD_CONFIG=y
CONFIG_CMD_CONSOLE=y
# CONFIG_CMD_LICENSE is not set
CONFIG_CMD_PMC=y

#
# Boot commands
#
# CONFIG_CMD_BOOTD is not set
# CONFIG_CMD_BOOTM is not set
# CONFIG_CMD_BOOTDEV is not set
CONFIG_CMD_BOOTFLOW=y
# CONFIG_CMD_BOOTMETH is not set
# CONFIG_CMD_BOOTZ is not set
# CONFIG_CMD_BOOTMENU is not set
# CONFIG_CMD_ADTIMG is not set
# CONFIG_CMD_ABOOTIMG is not set
# CONFIG_CMD_ELF is not set
CONFIG_CMD_FDT=y
CONFIG_SUPPORT_EXTENSION_SCAN=y
# CONFIG_CMD_EXTENSION is not set
CONFIG_CMD_GO=y
CONFIG_CMD_RUN=y
CONFIG_CMD_IMI=y
# CONFIG_CMD_IMLS is not set
CONFIG_CMD_XIMG=y
# CONFIG_CMD_XXD is not set
# CONFIG_CMD_THOR_DOWNLOAD is not set
# CONFIG_CMD_ZBOOT is not set

#
# Environment commands
#
# CONFIG_CMD_ASKENV is not set
CONFIG_CMD_EXPORTENV=y
CONFIG_CMD_IMPORTENV=y
CONFIG_CMD_EDITENV=y
# CONFIG_CMD_GREPENV is not set
CONFIG_CMD_SAVEENV=y
# CONFIG_CMD_ERASEENV is not set
CONFIG_CMD_ENV_EXISTS=y
# CONFIG_CMD_ENV_CALLBACK is not set
# CONFIG_CMD_ENV_FLAGS is not set
# CONFIG_CMD_NVEDIT_INDIRECT is not set
# CONFIG_CMD_NVEDIT_INFO is not set
# CONFIG_CMD_NVEDIT_LOAD is not set
# CONFIG_CMD_NVEDIT_SELECT is not set

#
# Memory commands
#
# CONFIG_CMD_BINOP is not set
CONFIG_CMD_BLOBLIST=y
CONFIG_CMD_CRC32=y
CONFIG_CRC32_VERIFY=y
# CONFIG_CMD_EEPROM is not set
# CONFIG_LOOPW is not set
# CONFIG_CMD_MD5SUM is not set
# CONFIG_CMD_MEMINFO is not set
CONFIG_CMD_MEMORY=y
# CONFIG_CMD_MEM_SEARCH is not set
# CONFIG_CMD_MX_CYCLIC is not set
# CONFIG_CMD_MEMTEST is not set
# CONFIG_CMD_SHA1SUM is not set
# CONFIG_CMD_STRINGS is not set

#
# Compression commands
#
CONFIG_CMD_LZMADEC=y
# CONFIG_CMD_UNLZ4 is not set
# CONFIG_CMD_UNZIP is not set
# CONFIG_CMD_ZIP is not set

#
# Device access commands
#
# CONFIG_CMD_ARMFLASH is not set
# CONFIG_CMD_BIND is not set
# CONFIG_CMD_CLK is not set
# CONFIG_CMD_DEMO is not set
# CONFIG_CMD_DFU is not set
CONFIG_CMD_DM=y
# CONFIG_CMD_FPGAD is not set
# CONFIG_CMD_FUSE is not set
# CONFIG_CMD_GPIO is not set
# CONFIG_CMD_GPT is not set
# CONFIG_RANDOM_UUID is not set
# CONFIG_CMD_IDE is not set
CONFIG_CMD_IO=y
CONFIG_CMD_IOTRACE=y
# CONFIG_CMD_I2C is not set
CONFIG_CMD_LOADB=y
# CONFIG_CMD_LOADM is not set
CONFIG_CMD_LOADS=y
# CONFIG_LOADS_ECHO is not set
# CONFIG_CMD_SAVES is not set
# CONFIG_SYS_LOADS_BAUD_CHANGE is not set
CONFIG_CMD_LOADXY_TIMEOUT=90
# CONFIG_CMD_LSBLK is not set
# CONFIG_CMD_MBR is not set
# CONFIG_CMD_MMC is not set
CONFIG_CMD_CLONE=y
# CONFIG_CMD_OSD is not set
# CONFIG_CMD_PCI is not set
CONFIG_CMD_POWEROFF=y
# CONFIG_CMD_READ is not set
# CONFIG_CMD_SATA is not set
# CONFIG_CMD_SCSI is not set
# CONFIG_CMD_SDRAM is not set
CONFIG_CMD_SF=y
CONFIG_CMD_SF_TEST=y
# CONFIG_CMD_SPI is not set
# CONFIG_CMD_TSI148 is not set
# CONFIG_CMD_UNIVERSE is not set
# CONFIG_CMD_USB_SDP is not set
# CONFIG_CMD_AXI is not set

#
# Shell scripting commands
#
# CONFIG_CMD_CAT is not set
CONFIG_CMD_ECHO=y
CONFIG_CMD_ITEST=y
CONFIG_CMD_SOURCE=y
CONFIG_CMD_SETEXPR=y
# CONFIG_CMD_SETEXPR_FMT is not set

#
# Android support commands
#

#
# Misc commands
#
# CONFIG_CMD_BSP is not set
CONFIG_CMD_BLOCK_CACHE=y
# CONFIG_CMD_CACHE is not set
# CONFIG_CMD_CONITRACE is not set
# CONFIG_CMD_CLS is not set
CONFIG_CMD_EXCEPTION=y
# CONFIG_CMD_INI is not set
# CONFIG_CMD_DATE is not set
# CONFIG_CMD_RTC is not set
# CONFIG_CMD_TIME is not set
CONFIG_CMD_GETTIME=y
# CONFIG_CMD_PAUSE is not set
CONFIG_CMD_SLEEP=y
# CONFIG_CMD_TIMER is not set
# CONFIG_CMD_SOUND is not set
# CONFIG_CMD_SYSBOOT is not set
# CONFIG_CMD_QFW is not set
# CONFIG_CMD_PSTORE is not set
# CONFIG_CMD_TERMINAL is not set
# CONFIG_CMD_UUID is not set

#
# TI specific command line interface
#
# CONFIG_CMD_DDR3 is not set

#
# Power commands
#

#
# Security commands
#
# CONFIG_CMD_AES is not set
# CONFIG_CMD_BLOB is not set
CONFIG_CMD_HASH=y
CONFIG_HASH_VERIFY=y
CONFIG_CMD_SCP03=y

#
# Firmware commands
#

#
# Filesystem commands
#
# CONFIG_CMD_BTRFS is not set
# CONFIG_CMD_EROFS is not set
# CONFIG_CMD_EXT2 is not set
# CONFIG_CMD_EXT4 is not set
# CONFIG_CMD_FAT is not set
# CONFIG_CMD_SQUASHFS is not set
# CONFIG_CMD_FS_GENERIC is not set
# CONFIG_CMD_FS_UUID is not set
# CONFIG_CMD_JFFS2 is not set
CONFIG_MTDIDS_DEFAULT=""
CONFIG_MTDPARTS_DEFAULT=""
# CONFIG_CMD_REISER is not set
# CONFIG_CMD_ZFS is not set

#
# Debug commands
#
# CONFIG_CMD_DIAG is not set
CONFIG_CMD_EVENT=y
# CONFIG_CMD_IRQ is not set
# CONFIG_CMD_LOG is not set
# CONFIG_CMD_UBI is not set

#
# Partition Types
#
# CONFIG_MAC_PARTITION is not set
# CONFIG_DOS_PARTITION is not set
# CONFIG_ISO_PARTITION is not set
# CONFIG_AMIGA_PARTITION is not set
# CONFIG_EFI_PARTITION is not set
CONFIG_SUPPORT_OF_CONTROL=y
CONFIG_PYLIBFDT=y
CONFIG_DTOC=y
CONFIG_BINMAN=y

#
# Device Tree Control
#
CONFIG_OF_CONTROL=y
CONFIG_OF_REAL=y
# CONFIG_OF_LIVE is not set
CONFIG_OF_SEPARATE=y
# CONFIG_OF_EMBED is not set
CONFIG_OF_BOARD=y
# CONFIG_OF_OMIT_DTB is not set
CONFIG_DEVICE_TREE_INCLUDES=""
CONFIG_OF_LIST="sandbox"
# CONFIG_MULTI_DTB_FIT is not set
# CONFIG_OF_DTB_PROPS_REMOVE is not set

#
# Environment
#
CONFIG_ENV_SUPPORT=y
CONFIG_ENV_SOURCE_FILE=""
CONFIG_SAVEENV=y
# CONFIG_ENV_OVERWRITE is not set
# CONFIG_OVERWRITE_ETHADDR_ONCE is not set
CONFIG_ENV_MIN_ENTRIES=64
CONFIG_ENV_MAX_ENTRIES=512
CONFIG_ENV_IS_NOWHERE=y
# CONFIG_ENV_IS_IN_EEPROM is not set
# CONFIG_ENV_IS_IN_FAT is not set
# CONFIG_ENV_IS_IN_EXT4 is not set
# CONFIG_ENV_IS_IN_FLASH is not set
# CONFIG_ENV_IS_IN_MMC is not set
# CONFIG_ENV_IS_IN_NAND is not set
# CONFIG_ENV_IS_IN_NVRAM is not set
# CONFIG_ENV_IS_IN_ONENAND is not set
# CONFIG_ENV_IS_IN_REMOTE is not set
# CONFIG_ENV_IS_IN_SPI_FLASH is not set
# CONFIG_SYS_REDUNDAND_ENVIRONMENT is not set
CONFIG_SYS_RELOC_GD_ENV_ADDR=y
# CONFIG_USE_DEFAULT_ENV_FILE is not set
# CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG is not set
# CONFIG_ENV_IMPORT_FDT is not set
# CONFIG_ENV_APPEND is not set
# CONFIG_ENV_WRITEABLE_LIST is not set
# CONFIG_ENV_ACCESS_IGNORE_FORCE is not set
# CONFIG_USE_BOOTFILE is not set
# CONFIG_USE_ETHPRIME is not set
# CONFIG_USE_HOSTNAME is not set
# CONFIG_VERSION_VARIABLE is not set
# CONFIG_NET is not set
CONFIG_SYS_RX_ETH_BUFFER=4

#
# Device Drivers
#

#
# Generic Driver Options
#
CONFIG_DM=y
CONFIG_DM_WARN=y
# CONFIG_DM_DEBUG is not set
CONFIG_DM_STATS=y
CONFIG_DM_DEVICE_REMOVE=y
CONFIG_DM_EVENT=y
CONFIG_DM_STDIO=y
CONFIG_DM_SEQ_ALIAS=y
# CONFIG_DM_DMA is not set
# CONFIG_REGMAP is not set
# CONFIG_DEVRES is not set
CONFIG_SIMPLE_BUS=y
CONFIG_SIMPLE_BUS_CORRECT_RANGE=y
CONFIG_OF_TRANSLATE=y
# CONFIG_TRANSLATION_OFFSET is not set
CONFIG_DM_DEV_READ_INLINE=y
# CONFIG_OFNODE_MULTI_TREE is not set
# CONFIG_ACPIGEN is not set
# CONFIG_BOUNCE_BUFFER is not set
# CONFIG_ADC is not set
# CONFIG_ADC_EXYNOS is not set
# CONFIG_ADC_SANDBOX is not set
# CONFIG_SARADC_MESON is not set
# CONFIG_SARADC_ROCKCHIP is not set
# CONFIG_SATA is not set
# CONFIG_SCSI_AHCI is not set

#
# SATA/SCSI device support
#
CONFIG_AXI=y
# CONFIG_IHS_AXI is not set
CONFIG_AXI_SANDBOX=y

#
# Bus devices
#
CONFIG_BLK=y
CONFIG_BLOCK_CACHE=y
CONFIG_EFI_MEDIA=y
CONFIG_EFI_MEDIA_SANDBOX=y
# CONFIG_IDE is not set
# CONFIG_LBA48 is not set
# CONFIG_SYS_64BIT_LBA is not set
# CONFIG_BOOTCOUNT_LIMIT is not set

#
# Button Support
#
# CONFIG_BUTTON is not set

#
# Cache Controller drivers
#
# CONFIG_CACHE is not set
# CONFIG_V5L2_CACHE is not set
# CONFIG_NCORE_CACHE is not set
# CONFIG_SIFIVE_CCACHE is not set

#
# Clock
#
# CONFIG_CLK is not set
# CONFIG_CLK_CCF is not set
# CONFIG_SANDBOX_CLK_CCF is not set
# CONFIG_CLK_RCAR_CPG_LIB is not set
# CONFIG_CPU is not set

#
# Hardware crypto devices
#
# CONFIG_DM_HASH is not set
# CONFIG_FSL_CAAM is not set
# CONFIG_SYS_FSL_SEC_BE is not set
# CONFIG_SYS_FSL_SEC_LE is not set
# CONFIG_NPCM_AES is not set
# CONFIG_NPCM_SHA is not set
# CONFIG_DDR_SPD is not set
# CONFIG_IMX_SNPS_DDR_PHY is not set

#
# Demo for driver model
#
# CONFIG_DM_DEMO is not set

#
# DFU support
#

#
# DMA Support
#
# CONFIG_DMA is not set
# CONFIG_DMA_LPC32XX is not set
# CONFIG_TI_EDMA3 is not set
# CONFIG_DMA_LEGACY is not set

#
# Fastboot support
#
CONFIG_FIRMWARE=y
# CONFIG_ZYNQMP_FIRMWARE is not set
# CONFIG_SCMI_FIRMWARE is not set
CONFIG_DM_FUZZING_ENGINE=y
CONFIG_FUZZING_ENGINE_SANDBOX=y

#
# FPGA support
#
# CONFIG_FPGA_ALTERA is not set
# CONFIG_FPGA_SOCFPGA is not set
# CONFIG_FPGA_LATTICE is not set
# CONFIG_FPGA_XILINX is not set
# CONFIG_DM_FPGA is not set
# CONFIG_FWU_MDATA is not set
CONFIG_GPIO=y
# CONFIG_GPIO_HOG is not set
# CONFIG_DM_GPIO_LOOKUP_LABEL is not set
# CONFIG_ALTERA_PIO is not set
# CONFIG_BCM2835_GPIO is not set
# CONFIG_DWAPB_GPIO is not set
# CONFIG_AT91_GPIO is not set
# CONFIG_ATMEL_PIO4 is not set
# CONFIG_ASPEED_GPIO is not set
# CONFIG_DA8XX_GPIO is not set
# CONFIG_FXL6408_GPIO is not set
# CONFIG_HIKEY_GPIO is not set
# CONFIG_INTEL_BROADWELL_GPIO is not set
# CONFIG_INTEL_GPIO is not set
# CONFIG_INTEL_ICH6_GPIO is not set
# CONFIG_IMX_RGPIO2P is not set
# CONFIG_IPROC_GPIO is not set
# CONFIG_HSDK_CREG_GPIO is not set
# CONFIG_KIRKWOOD_GPIO is not set
# CONFIG_LPC32XX_GPIO is not set
# CONFIG_MAX7320_GPIO is not set
# CONFIG_MCP230XX_GPIO is not set
# CONFIG_MSM_GPIO is not set
# CONFIG_MXC_GPIO is not set
# CONFIG_MXS_GPIO is not set
# CONFIG_NPCM_GPIO is not set
# CONFIG_CMD_PCA953X is not set
# CONFIG_PCF8575_GPIO is not set
# CONFIG_ROCKCHIP_GPIO is not set
CONFIG_SANDBOX_GPIO=y
CONFIG_SANDBOX_GPIO_COUNT=128
# CONFIG_XILINX_GPIO is not set
# CONFIG_TCA642X is not set
# CONFIG_TEGRA_GPIO is not set
# CONFIG_TEGRA186_GPIO is not set
# CONFIG_VYBRID_GPIO is not set
# CONFIG_SIFIVE_GPIO is not set
# CONFIG_ZYNQ_GPIO is not set
# CONFIG_DM_74X164 is not set
# CONFIG_DM_PCA953X is not set
# CONFIG_PCA953X is not set
# CONFIG_MPC8XXX_GPIO is not set
# CONFIG_MPC8XX_GPIO is not set
# CONFIG_NX_GPIO is not set
# CONFIG_NOMADIK_GPIO is not set
# CONFIG_ZYNQMP_GPIO_MODEPIN is not set
# CONFIG_SLG7XL45106_I2C_GPO is not set
# CONFIG_TURRIS_OMNIA_MCU is not set
# CONFIG_FTGPIO010 is not set
# CONFIG_ADP5585_GPIO is not set

#
# Hardware Spinlock Support
#
# CONFIG_DM_HWSPINLOCK is not set
CONFIG_I2C=y
CONFIG_DM_I2C=y
# CONFIG_I2C_SET_DEFAULT_BUS_NUM is not set
# CONFIG_DM_I2C_GPIO is not set
# CONFIG_SYS_I2C_IPROC is not set
# CONFIG_SYS_I2C_FSL is not set
# CONFIG_SYS_I2C_CADENCE is not set
# CONFIG_SYS_I2C_DW is not set
# CONFIG_SYS_I2C_INTEL is not set
# CONFIG_SYS_I2C_IMX_LPI2C is not set
# CONFIG_SYS_I2C_MTK is not set
# CONFIG_SYS_I2C_MICROCHIP is not set
# CONFIG_SYS_I2C_MXC is not set
# CONFIG_SYS_I2C_NEXELL is not set
# CONFIG_SYS_I2C_NPCM is not set
# CONFIG_SYS_I2C_OCORES is not set
# CONFIG_SYS_I2C_ROCKCHIP is not set
# CONFIG_SYS_I2C_SANDBOX is not set
# CONFIG_SYS_I2C_SOFT is not set
# CONFIG_SYS_I2C_MV is not set
# CONFIG_SYS_I2C_MVTWSI is not set
# CONFIG_SYS_I2C_XILINX_XIIC is not set
# CONFIG_SYS_I2C_IHS is not set
# CONFIG_I2C_MUX is not set
CONFIG_INPUT=y
CONFIG_DM_KEYBOARD=y
# CONFIG_APPLE_SPI_KEYB is not set
# CONFIG_CROS_EC_KEYB is not set
# CONFIG_I8042_KEYB is not set
# CONFIG_TEGRA_KEYBOARD is not set
# CONFIG_TWL4030_INPUT is not set

#
# IOMMU device drivers
#
# CONFIG_IOMMU is not set

#
# LED Support
#
# CONFIG_LED is not set
# CONFIG_LED_STATUS is not set

#
# Mailbox Controller Support
#
# CONFIG_DM_MAILBOX is not set

#
# Memory Controller drivers
#
# CONFIG_MEMORY is not set
# CONFIG_ATMEL_EBI is not set
# CONFIG_MFD_ATMEL_SMC is not set

#
# Multifunction device drivers
#
# CONFIG_MISC is not set
# CONFIG_NVMEM is not set
# CONFIG_SPL_NVMEM is not set
# CONFIG_SMSC_LPC47M is not set
# CONFIG_SMSC_SIO1007 is not set
# CONFIG_CROS_EC is not set
# CONFIG_DS4510 is not set
# CONFIG_FSL_SEC_MON is not set
CONFIG_IRQ=y
# CONFIG_NUVOTON_NCT6102D is not set
# CONFIG_P2SB is not set
# CONFIG_PWRSEQ is not set
# CONFIG_PCA9551_LED is not set
CONFIG_TEST_DRV=y
# CONFIG_USB_HUB_USB251XB is not set
# CONFIG_TWL4030_LED is not set
# CONFIG_WINBOND_W83627 is not set
# CONFIG_FS_LOADER is not set
# CONFIG_SL28CPLD is not set

#
# MMC Host controller Support
#
CONFIG_MMC=y
CONFIG_MMC_WRITE=y
# CONFIG_MMC_BROKEN_CD is not set
CONFIG_DM_MMC=y
# CONFIG_MMC_SPI is not set
# CONFIG_ARM_PL180_MMCI is not set
CONFIG_MMC_QUIRKS=y
CONFIG_SYS_MMC_MAX_BLK_COUNT=65535
CONFIG_MMC_HW_PARTITIONING=y
# CONFIG_SUPPORT_EMMC_RPMB is not set
# CONFIG_SUPPORT_EMMC_BOOT is not set
# CONFIG_MMC_IO_VOLTAGE is not set
# CONFIG_MMC_HS400_ES_SUPPORT is not set
# CONFIG_MMC_HS400_SUPPORT is not set
# CONFIG_MMC_HS200_SUPPORT is not set
CONFIG_MMC_VERBOSE=y
# CONFIG_MMC_TRACE is not set
# CONFIG_MMC_DW is not set
# CONFIG_MMC_MXC is not set
# CONFIG_MMC_OMAP_HS is not set
# CONFIG_MMC_SANDBOX is not set
# CONFIG_MMC_SDHCI is not set
# CONFIG_MMC_PITON is not set
# CONFIG_STM32_SDMMC2 is not set
# CONFIG_FTSDC010 is not set
# CONFIG_FSL_ESDHC is not set
# CONFIG_FSL_ESDHC_IMX is not set

#
# MTD Support
#
# CONFIG_MTD is not set
# CONFIG_DM_MTD is not set
# CONFIG_MTD_NOR_FLASH is not set
# CONFIG_FLASH_CFI_DRIVER is not set
# CONFIG_SAMSUNG_ONENAND is not set
# CONFIG_USE_SYS_MAX_FLASH_BANKS is not set
# CONFIG_MTD_RAW_NAND is not set

#
# SPI Flash Support
#
CONFIG_DM_SPI_FLASH=y
# CONFIG_SPI_FLASH_SANDBOX is not set
CONFIG_SPI_FLASH=y
CONFIG_SF_DEFAULT_BUS=0
CONFIG_SF_DEFAULT_CS=0
CONFIG_SF_DEFAULT_MODE=0x0
CONFIG_SF_DEFAULT_SPEED=1000000
# CONFIG_BOOTDEV_SPI_FLASH is not set
# CONFIG_SPI_FLASH_SFDP_SUPPORT is not set
CONFIG_SPI_FLASH_SMART_HWCAPS=y
# CONFIG_SPI_NOR_BOOT_SOFT_RESET_EXT_INVERT is not set
# CONFIG_SPI_FLASH_SOFT_RESET is not set
# CONFIG_SPI_FLASH_BAR is not set
CONFIG_SPI_FLASH_UNLOCK_ALL=y
# CONFIG_SPI_FLASH_ATMEL is not set
# CONFIG_SPI_FLASH_EON is not set
# CONFIG_SPI_FLASH_GIGADEVICE is not set
# CONFIG_SPI_FLASH_ISSI is not set
# CONFIG_SPI_FLASH_MACRONIX is not set
# CONFIG_SPI_FLASH_SPANSION is not set
# CONFIG_SPI_FLASH_STMICRO is not set
# CONFIG_SPI_FLASH_SST is not set
# CONFIG_SPI_FLASH_WINBOND is not set
# CONFIG_SPI_FLASH_XMC is not set
# CONFIG_SPI_FLASH_XTX is not set
CONFIG_SPI_FLASH_USE_4K_SECTORS=y
# CONFIG_SPI_FLASH_DATAFLASH is not set

#
# UBI support
#
# CONFIG_UBI_SILENCE_MSG is not set
# CONFIG_MTD_UBI is not set

#
# Multiplexer drivers
#
# CONFIG_MULTIPLEXER is not set
# CONFIG_BITBANGMII is not set
# CONFIG_MV88E6352_SWITCH is not set
# CONFIG_FSL_MEMAC is not set
CONFIG_PHY_RESET_DELAY=0
# CONFIG_FSL_PFE is not set
CONFIG_ETH=y
# CONFIG_DM_ETH_PHY is not set
# CONFIG_NVME is not set
# CONFIG_NVME_APPLE is not set
# CONFIG_NVME_PCI is not set
CONFIG_PCI=y
# CONFIG_DM_PCI_COMPAT is not set
CONFIG_PCI_PNP=y
# CONFIG_PCI_REGION_MULTI_ENTRY is not set
# CONFIG_PCI_CONFIG_HOST_BRIDGE is not set
# CONFIG_PCI_SRIOV is not set
CONFIG_PCI_ENHANCED_ALLOCATION=y
# CONFIG_PCI_ARID is not set
# CONFIG_PCIE_ECAM_GENERIC is not set
# CONFIG_PCIE_ECAM_SYNQUACER is not set
# CONFIG_PCI_PHYTIUM is not set
# CONFIG_PCIE_FSL is not set
# CONFIG_PCI_MPC85XX is not set
CONFIG_PCI_SANDBOX=y
# CONFIG_PCI_XILINX is not set
# CONFIG_PCIE_LAYERSCAPE_RC is not set
# CONFIG_PCIE_LAYERSCAPE_EP is not set
# CONFIG_PCIE_LAYERSCAPE_GEN4 is not set
# CONFIG_PCIE_INTEL_FPGA is not set
# CONFIG_PCIE_IPROC is not set
# CONFIG_PCI_KEYSTONE is not set

#
# PCI Endpoint
#
CONFIG_PCI_ENDPOINT=y
# CONFIG_PCIE_CADENCE_EP is not set
CONFIG_PCI_SANDBOX_EP=y
CONFIG_PCH=y
# CONFIG_X86_PCH7 is not set
# CONFIG_X86_PCH9 is not set

#
# PHY Subsystem
#
# CONFIG_PHY is not set
# CONFIG_MIPI_DPHY_HELPERS is not set

#
# Rockchip PHY driver
#
# CONFIG_MVEBU_COMPHY_SUPPORT is not set

#
# Pin controllers
#
# CONFIG_PINCTRL is not set
CONFIG_POWER=y
# CONFIG_POWER_LEGACY is not set
CONFIG_ACPI_PMC=y
CONFIG_ACPI_PMC_SANDBOX=y

#
# Power Domain Support
#
# CONFIG_POWER_DOMAIN is not set
# CONFIG_DM_PMIC is not set
# CONFIG_PMIC_TPS65217 is not set
# CONFIG_POWER_TPS65218 is not set
# CONFIG_POWER_TPS62362 is not set
# CONFIG_DM_REGULATOR is not set
# CONFIG_TPS6586X_POWER is not set
# CONFIG_POWER_MT6323 is not set
# CONFIG_DM_PWM is not set
# CONFIG_PWM_IMX is not set
# CONFIG_PWM_SANDBOX is not set
# CONFIG_U_QE is not set
# CONFIG_RAM is not set

#
# Reboot Mode Support
#
# CONFIG_DM_REBOOT_MODE is not set

#
# Remote Processor drivers
#
# CONFIG_REMOTEPROC_SANDBOX is not set

#
# Reset Controller Support
#
# CONFIG_RESET_SCMI is not set
# CONFIG_DM_RNG is not set

#
# Real Time Clock
#
CONFIG_DM_RTC=y
# CONFIG_RTC_ENABLE_32KHZ_OUTPUT is not set
# CONFIG_RTC_PCF2127 is not set
# CONFIG_RTC_DS1307 is not set
# CONFIG_RTC_DS1337 is not set
# CONFIG_RTC_DS1338 is not set
# CONFIG_RTC_DS3231 is not set
# CONFIG_RTC_DS3232 is not set
# CONFIG_RTC_EMULATION is not set
# CONFIG_RTC_ISL1208 is not set
# CONFIG_RTC_PCF8563 is not set
# CONFIG_RTC_PT7C4338 is not set
# CONFIG_RTC_RV3028 is not set
# CONFIG_RTC_RV3029 is not set
# CONFIG_RTC_RV8803 is not set
# CONFIG_RTC_RX8010SJ is not set
# CONFIG_RTC_RX8025 is not set
# CONFIG_RTC_PL031 is not set
# CONFIG_RTC_MV is not set
# CONFIG_RTC_S35392A is not set
# CONFIG_RTC_MC146818 is not set
# CONFIG_RTC_M41T62 is not set
# CONFIG_RTC_STM32 is not set
# CONFIG_RTC_ABX80X is not set
# CONFIG_RTC_HT1380 is not set
# CONFIG_SCSI is not set
# CONFIG_DM_SCSI is not set
CONFIG_SERIAL=y
CONFIG_BAUDRATE=115200
CONFIG_REQUIRE_SERIAL_CONSOLE=y
# CONFIG_SPECIFY_CONSOLE_INDEX is not set
CONFIG_SERIAL_PRESENT=y
CONFIG_DM_SERIAL=y
# CONFIG_SERIAL_RX_BUFFER is not set
# CONFIG_SERIAL_PUTS is not set
# CONFIG_SERIAL_SEARCH_ALL is not set
# CONFIG_SERIAL_PROBE_ALL is not set
# CONFIG_VPL_DM_SERIAL is not set
# CONFIG_ALTERA_JTAG_UART is not set
# CONFIG_ALTERA_UART is not set
# CONFIG_ARC_SERIAL is not set
# CONFIG_ATMEL_USART is not set
# CONFIG_BCM6345_SERIAL is not set
# CONFIG_COREBOOT_SERIAL is not set
# CONFIG_CORTINA_UART is not set
# CONFIG_FSL_LINFLEXUART is not set
# CONFIG_FSL_LPUART is not set
# CONFIG_MVEBU_A3700_UART is not set
# CONFIG_MCFUART is not set
# CONFIG_NULLDEV_SERIAL is not set
# CONFIG_SYS_NS16550 is not set
# CONFIG_PL01X_SERIAL is not set
# CONFIG_ROCKCHIP_SERIAL is not set
# CONFIG_SANDBOX_SERIAL is not set
# CONFIG_XILINX_UARTLITE is not set
# CONFIG_MSM_SERIAL is not set
# CONFIG_MSM_GENI_SERIAL is not set
# CONFIG_OMAP_SERIAL is not set
# CONFIG_SIFIVE_SERIAL is not set
# CONFIG_ZYNQ_SERIAL is not set
# CONFIG_MTK_SERIAL is not set
# CONFIG_MT7620_SERIAL is not set
# CONFIG_NPCM_SERIAL is not set
# CONFIG_SMEM is not set

#
# Sound support
#
CONFIG_SOUND=y
# CONFIG_I2S is not set
# CONFIG_SOUND_DA7219 is not set
# CONFIG_SOUND_I8254 is not set
# CONFIG_SOUND_INTEL_HDA is not set
# CONFIG_SOUND_IVYBRIDGE is not set
# CONFIG_SOUND_MAX98357A is not set
# CONFIG_SOUND_RT5677 is not set
# CONFIG_SOUND_SANDBOX is not set

#
# SOC (System On Chip) specific Drivers
#
# CONFIG_SOC_DEVICE is not set
# CONFIG_SOC_TI is not set
CONFIG_SPI=y
CONFIG_DM_SPI=y
CONFIG_SPI_MEM=y
# CONFIG_SPI_DIRMAP is not set
# CONFIG_ALTERA_SPI is not set
# CONFIG_APPLE_SPI is not set
# CONFIG_ATCSPI200_SPI is not set
# CONFIG_ATMEL_SPI is not set
# CONFIG_BCMSTB_SPI is not set
# CONFIG_CORTINA_SFLASH is not set
# CONFIG_CADENCE_QSPI is not set
# CONFIG_CF_SPI is not set
# CONFIG_DESIGNWARE_SPI is not set
# CONFIG_EXYNOS_SPI is not set
# CONFIG_FSL_DSPI is not set
# CONFIG_FSL_QSPI is not set
# CONFIG_GXP_SPI is not set
# CONFIG_ICH_SPI is not set
# CONFIG_IPROC_QSPI is not set
# CONFIG_KIRKWOOD_SPI is not set
# CONFIG_MICROCHIP_COREQSPI is not set
# CONFIG_MPC8XXX_SPI is not set
# CONFIG_MTK_SNOR is not set
# CONFIG_MTK_SNFI_SPI is not set
# CONFIG_MTK_SPIM is not set
# CONFIG_MVEBU_A3700_SPI is not set
# CONFIG_MXS_SPI is not set
# CONFIG_SPI_MXIC is not set
# CONFIG_NPCM_FIU_SPI is not set
# CONFIG_NPCM_PSPI is not set
# CONFIG_NXP_FSPI is not set
# CONFIG_OMAP3_SPI is not set
# CONFIG_ROCKCHIP_SFC is not set
# CONFIG_ROCKCHIP_SPI is not set
# CONFIG_SANDBOX_SPI is not set
CONFIG_SANDBOX_SPI_MAX_BUS=1
CONFIG_SANDBOX_SPI_MAX_CS=10
# CONFIG_SPI_ASPEED_SMC is not set
# CONFIG_SPI_SIFIVE is not set
# CONFIG_SOFT_SPI is not set
# CONFIG_SPI_SN_F_OSPI is not set
# CONFIG_SPI_SUNXI is not set
# CONFIG_TEGRA114_SPI is not set
# CONFIG_TEGRA20_SFLASH is not set
# CONFIG_TEGRA20_SLINK is not set
# CONFIG_TEGRA210_QSPI is not set
# CONFIG_TI_QSPI is not set
# CONFIG_XILINX_SPI is not set
# CONFIG_ZYNQ_SPI is not set
# CONFIG_ZYNQ_QSPI is not set
# CONFIG_ZYNQMP_GQSPI is not set
# CONFIG_FSL_ESPI is not set
# CONFIG_SH_QSPI is not set
# CONFIG_MXC_SPI is not set

#
# SPMI support
#
# CONFIG_SPMI is not set
# CONFIG_SYSINFO is not set

#
# System reset device drivers
#
CONFIG_SYSRESET=y
CONFIG_SYSRESET_CMD_RESET=y
CONFIG_SYSRESET_CMD_POWEROFF=y
# CONFIG_POWEROFF_GPIO is not set
# CONFIG_SYSRESET_GPIO is not set
# CONFIG_SYSRESET_SYSCON is not set
# CONFIG_SYSRESET_WATCHDOG is not set
# CONFIG_SYSRESET_RESETCTL is not set
# CONFIG_SYSRESET_MPC83XX is not set
CONFIG_TEE=y

#
# TEE drivers
#
CONFIG_SANDBOX_TEE=y

#
# OP-TEE options
#
CONFIG_OPTEE_TA_AVB=y
CONFIG_OPTEE_TA_RPC_TEST=y
CONFIG_OPTEE_TA_SCP03=y
CONFIG_OPTEE_SERVICE_DISCOVERY=y
# CONFIG_DM_THERMAL is not set

#
# Timer Support
#
CONFIG_TIMER=y
# CONFIG_TIMER_EARLY is not set
# CONFIG_ALTERA_TIMER is not set
# CONFIG_AST_TIMER is not set
# CONFIG_ATCPIT100_TIMER is not set
# CONFIG_ATMEL_PIT_TIMER is not set
# CONFIG_CADENCE_TTC_TIMER is not set
# CONFIG_DESIGNWARE_APB_TIMER is not set
# CONFIG_GXP_TIMER is not set
# CONFIG_MPC83XX_TIMER is not set
# CONFIG_RENESAS_OSTM_TIMER is not set
# CONFIG_NOMADIK_MTU_TIMER is not set
# CONFIG_NPCM_TIMER is not set
# CONFIG_OMAP_TIMER is not set
# CONFIG_ORION_TIMER is not set
# CONFIG_ROCKCHIP_TIMER is not set
# CONFIG_SANDBOX_TIMER is not set
# CONFIG_SP804_TIMER is not set
# CONFIG_STM32_TIMER is not set
# CONFIG_TEGRA_TIMER is not set
# CONFIG_MTK_TIMER is not set
# CONFIG_MCHP_PIT64B_TIMER is not set
# CONFIG_IMX_GPT_TIMER is not set
# CONFIG_XILINX_TIMER is not set

#
# TPM support
#
# CONFIG_USB is not set

#
# UFS Host Controller Support
#
# CONFIG_TI_J721E_UFS is not set

#
# Graphics support
#
# CONFIG_VIDEO is not set

#
# VirtIO Drivers
#
# CONFIG_VIRTIO_MMIO is not set
# CONFIG_VIRTIO_PCI is not set
# CONFIG_VIRTIO_PCI_LEGACY is not set
# CONFIG_VIRTIO_SANDBOX is not set

#
# 1-Wire support
#
# CONFIG_W1 is not set

#
# 1-wire EEPROM support
#
# CONFIG_W1_EEPROM is not set

#
# Watchdog Timer Support
#
# CONFIG_WATCHDOG is not set
CONFIG_WATCHDOG_TIMEOUT_MSECS=60000
# CONFIG_IMX_WATCHDOG is not set
# CONFIG_ULP_WATCHDOG is not set
# CONFIG_WDT is not set
# CONFIG_PVBLOCK is not set
# CONFIG_PHYS_TO_BUS is not set

#
# File systems
#
# CONFIG_FS_BTRFS is not set
# CONFIG_FS_CBFS is not set
# CONFIG_FS_EXT4 is not set
# CONFIG_FS_FAT is not set
# CONFIG_FS_JFFS2 is not set
# CONFIG_UBIFS_SILENCE_MSG is not set
# CONFIG_UBIFS_SILENCE_DEBUG_DUMP is not set
# CONFIG_FS_CRAMFS is not set
# CONFIG_YAFFS2 is not set
# CONFIG_FS_SQUASHFS is not set
# CONFIG_FS_EROFS is not set

#
# Library routines
#
# CONFIG_ADDR_MAP is not set
# CONFIG_SYS_TIMER_COUNTS_DOWN is not set
CONFIG_PHYSMEM=y
# CONFIG_BCH is not set
CONFIG_BINMAN_FDT=y
# CONFIG_CC_OPTIMIZE_LIBS_FOR_SPEED is not set
# CONFIG_DYNAMIC_CRC_TABLE is not set
CONFIG_PRINTF=y
CONFIG_SPRINTF=y
CONFIG_STRTO=y
CONFIG_SYS_HZ=1000
# CONFIG_PANIC_HANG is not set
# CONFIG_REGEX is not set
CONFIG_SUPPORT_ACPI=y
# CONFIG_GENERATE_ACPI_TABLE is not set
CONFIG_BITREVERSE=y
# CONFIG_TRACE is not set
# CONFIG_CIRCBUF is not set
# CONFIG_CMD_DHRYSTONE is not set

#
# Security support
#
# CONFIG_AES is not set
# CONFIG_ECDSA is not set
CONFIG_RSA=y
CONFIG_RSA_VERIFY=y
# CONFIG_RSA_VERIFY_WITH_PKEY is not set
CONFIG_RSA_SOFTWARE_EXP=y
# CONFIG_ASYMMETRIC_KEY_TYPE is not set
# CONFIG_TPM is not set

#
# Android Verified Boot
#
CONFIG_LIBAVB=y

#
# Hashing Support
#
# CONFIG_BLAKE2 is not set
CONFIG_SHA1=y
CONFIG_SHA256=y
# CONFIG_SHA512 is not set
# CONFIG_SHA384 is not set
# CONFIG_SHA_HW_ACCEL is not set
CONFIG_MD5=y
CONFIG_CRC8=y
CONFIG_CRC32=y

#
# Compression Support
#
# CONFIG_LZ4 is not set
CONFIG_LZMA=y
CONFIG_LZO=y
CONFIG_GZIP=y
# CONFIG_ZLIB_UNCOMPRESS is not set
CONFIG_GZIP_COMPRESSED=y
CONFIG_BZIP2=y
CONFIG_ZLIB=y
# CONFIG_ZSTD is not set
CONFIG_VPL_LZMA=y
# CONFIG_SPL_GZIP is not set
# CONFIG_ERRNO_STR is not set
# CONFIG_HEXDUMP is not set
# CONFIG_GETOPT is not set
CONFIG_OF_LIBFDT=y
CONFIG_OF_LIBFDT_ASSUME_MASK=0
# CONFIG_OF_LIBFDT_OVERLAY is not set
CONFIG_SYS_FDT_PAD=0x3000

#
# System tables
#
# CONFIG_LIB_RATIONAL is not set
# CONFIG_SMBIOS_PARSER is not set
# CONFIG_EFI_LOADER is not set
# CONFIG_OPTEE_LIB is not set
# CONFIG_OPTEE_IMAGE is not set
# CONFIG_BOOTM_OPTEE is not set
# CONFIG_TEST_FDTDEC is not set
CONFIG_LIB_DATE=y
CONFIG_LMB=y
CONFIG_LMB_USE_MAX_REGIONS=y
CONFIG_LMB_MAX_REGIONS=16
# CONFIG_PHANDLE_CHECK_SEQ is not set

#
# FWU Multi Bank Updates
#
# CONFIG_POST is not set
# CONFIG_UNIT_TEST is not set
# CONFIG_TEST_KCONFIG is not set
# CONFIG_TEST_KCONFIG_ENABLE is not set

#
# Tools options
#
CONFIG_MKIMAGE_DTC_PATH="dtc"
CONFIG_TOOLS_CRC32=y
CONFIG_TOOLS_LIBCRYPTO=y
CONFIG_TOOLS_FIT=y
# CONFIG_TOOLS_FIT_FULL_CHECK is not set
CONFIG_TOOLS_FIT_PRINT=y
CONFIG_TOOLS_FIT_RSASSA_PSS=y
CONFIG_TOOLS_FIT_SIGNATURE=y
CONFIG_TOOLS_FIT_SIGNATURE_MAX_SIZE=0x10000000
CONFIG_TOOLS_FIT_VERBOSE=y
CONFIG_TOOLS_MD5=y
CONFIG_TOOLS_OF_LIBFDT=y
CONFIG_TOOLS_SHA1=y
CONFIG_TOOLS_SHA256=y
CONFIG_TOOLS_SHA384=y
CONFIG_TOOLS_SHA512=y
# CONFIG_TOOLS_MKEFICAPSULE is not set
# CONFIG_FSPI_CONF_HEADER is not set