1CONFIG_ARM=y
2CONFIG_ARCH_BCM6858=y
3CONFIG_SYS_TEXT_BASE=0x10000000
4CONFIG_SYS_MALLOC_F_LEN=0x8000
5CONFIG_SPL_SYS_MALLOC_F_LEN=0x400
6CONFIG_TARGET_BCM968580XREF=y
7CONFIG_ENV_VARS_UBOOT_CONFIG=y
8CONFIG_NR_DRAM_BANKS=1
9CONFIG_TPL_SYS_MALLOC_F_LEN=0x400
10CONFIG_FIT=y
11CONFIG_FIT_SIGNATURE=y
12CONFIG_FIT_VERBOSE=y
13CONFIG_IMAGE_FORMAT_LEGACY=y
14CONFIG_SUPPORT_RAW_INITRD=y
15CONFIG_DISPLAY_BOARDINFO_LATE=y
16CONFIG_HUSH_PARSER=y
17CONFIG_CMD_BOOTEFI_SELFTEST=y
18CONFIG_DOS_PARTITION=y
19CONFIG_ISO_PARTITION=y
20CONFIG_EFI_PARTITION=y
21CONFIG_DEFAULT_DEVICE_TREE="bcm968580xref"
22# CONFIG_NET is not set
23CONFIG_BLK=y
24CONFIG_CLK=y
25# CONFIG_MMC is not set
26CONFIG_SPECIFY_CONSOLE_INDEX=y
27# CONFIG_SPL_SERIAL_PRESENT is not set
28CONFIG_CONS_INDEX=0
29CONFIG_DM_SERIAL=y
30CONFIG_SERIAL_SEARCH_ALL=y
31CONFIG_BCM6345_SERIAL=y
32CONFIG_SYSRESET=y
33CONFIG_SYSRESET_WATCHDOG=y
34CONFIG_WDT_BCM6345=y
35# CONFIG_GENERATE_SMBIOS_TABLE is not set
36