| # CONFIG_ARM64_SUPPORT_AARCH32 is not set |
| CONFIG_SYS_TEXT_BASE=0x10000000 |
| CONFIG_SYS_MALLOC_F_LEN=0x8000 |
| CONFIG_SPL_SYS_MALLOC_F_LEN=0x400 |
| CONFIG_TARGET_BCM963158=y |
| CONFIG_ENV_VARS_UBOOT_CONFIG=y |
| CONFIG_TPL_SYS_MALLOC_F_LEN=0x400 |
| CONFIG_FIT_ENABLE_RSASSA_PSS_SUPPORT=y |
| CONFIG_IMAGE_FORMAT_LEGACY=y |
| CONFIG_SUPPORT_RAW_INITRD=y |
| CONFIG_DISPLAY_BOARDINFO_LATE=y |
| CONFIG_CMD_BOOTEFI_SELFTEST=y |
| # CONFIG_CMD_LZMADEC is not set |
| # CONFIG_CMD_UNZIP is not set |
| # CONFIG_CMD_FLASH is not set |
| CONFIG_DEFAULT_DEVICE_TREE="bcm963158" |
| CONFIG_SPECIFY_CONSOLE_INDEX=y |
| # CONFIG_SPL_SERIAL_PRESENT is not set |
| CONFIG_SERIAL_SEARCH_ALL=y |
| CONFIG_SYSRESET_WATCHDOG=y |
| # CONFIG_GENERATE_SMBIOS_TABLE is not set |