3 CONFIG_SYS_TEXT_BASE=0x10000000
4 CONFIG_SYS_MALLOC_F_LEN=0x8000
5 CONFIG_SPL_SYS_MALLOC_F_LEN=0x400
6 CONFIG_TARGET_BCM968580XREF=y
7 CONFIG_ENV_VARS_UBOOT_CONFIG=y
9 CONFIG_TPL_SYS_MALLOC_F_LEN=0x400
11 CONFIG_FIT_SIGNATURE=y
13 CONFIG_IMAGE_FORMAT_LEGACY=y
14 CONFIG_SUPPORT_RAW_INITRD=y
15 CONFIG_DISPLAY_BOARDINFO_LATE=y
17 CONFIG_CMD_BOOTEFI_SELFTEST=y
18 CONFIG_DOS_PARTITION=y
19 CONFIG_ISO_PARTITION=y
20 CONFIG_EFI_PARTITION=y
22 CONFIG_DEFAULT_DEVICE_TREE="bcm968580xref"
23 # CONFIG_NET is not set
27 # CONFIG_MMC is not set
28 CONFIG_SPECIFY_CONSOLE_INDEX=y
29 # CONFIG_SPL_SERIAL_PRESENT is not set
32 CONFIG_SERIAL_SEARCH_ALL=y
33 CONFIG_BCM6858_SERIAL=y
36 # CONFIG_GENERATE_SMBIOS_TABLE is not set