1CONFIG_ARM=y
2# CONFIG_ARM64_SUPPORT_AARCH32 is not set
3CONFIG_ARCH_BCM63158=y
4CONFIG_SYS_TEXT_BASE=0x10000000
5CONFIG_SYS_MALLOC_F_LEN=0x8000
6CONFIG_SPL_SYS_MALLOC_F_LEN=0x400
7CONFIG_TARGET_BCM963158=y
8CONFIG_ENV_VARS_UBOOT_CONFIG=y
9CONFIG_NR_DRAM_BANKS=1
10CONFIG_TPL_SYS_MALLOC_F_LEN=0x400
11CONFIG_FIT=y
12CONFIG_FIT_SIGNATURE=y
13CONFIG_FIT_ENABLE_RSASSA_PSS_SUPPORT=y
14CONFIG_FIT_VERBOSE=y
15CONFIG_IMAGE_FORMAT_LEGACY=y
16CONFIG_SUPPORT_RAW_INITRD=y
17CONFIG_DISPLAY_BOARDINFO_LATE=y
18CONFIG_HUSH_PARSER=y
19CONFIG_CMD_BOOTEFI_SELFTEST=y
20# CONFIG_CMD_LZMADEC is not set
21# CONFIG_CMD_UNZIP is not set
22# CONFIG_CMD_FLASH is not set
23CONFIG_CMD_CACHE=y
24CONFIG_DOS_PARTITION=y
25CONFIG_ISO_PARTITION=y
26CONFIG_EFI_PARTITION=y
27CONFIG_DEFAULT_DEVICE_TREE="bcm963158"
28# CONFIG_NET is not set
29CONFIG_BLK=y
30CONFIG_CLK=y
31# CONFIG_MMC is not set
32CONFIG_SPECIFY_CONSOLE_INDEX=y
33# CONFIG_SPL_SERIAL_PRESENT is not set
34CONFIG_CONS_INDEX=0
35CONFIG_DM_SERIAL=y
36CONFIG_SERIAL_SEARCH_ALL=y
37CONFIG_PL01X_SERIAL=y
38CONFIG_SYSRESET=y
39CONFIG_SYSRESET_WATCHDOG=y
40CONFIG_WDT_BCM6345=y
41# CONFIG_GENERATE_SMBIOS_TABLE is not set
42