2018-10-11 16:31:59 +00:00
|
|
|
CONFIG_ARM=y
|
|
|
|
CONFIG_ARCH_BCM6858=y
|
|
|
|
CONFIG_SYS_TEXT_BASE=0x10000000
|
|
|
|
CONFIG_SYS_MALLOC_F_LEN=0x8000
|
|
|
|
CONFIG_SPL_SYS_MALLOC_F_LEN=0x400
|
|
|
|
CONFIG_TARGET_BCM968580XREF=y
|
|
|
|
CONFIG_ENV_VARS_UBOOT_CONFIG=y
|
|
|
|
CONFIG_NR_DRAM_BANKS=1
|
|
|
|
CONFIG_TPL_SYS_MALLOC_F_LEN=0x400
|
|
|
|
CONFIG_FIT=y
|
|
|
|
CONFIG_FIT_SIGNATURE=y
|
|
|
|
CONFIG_FIT_VERBOSE=y
|
|
|
|
CONFIG_IMAGE_FORMAT_LEGACY=y
|
|
|
|
CONFIG_SUPPORT_RAW_INITRD=y
|
|
|
|
CONFIG_DISPLAY_BOARDINFO_LATE=y
|
|
|
|
CONFIG_HUSH_PARSER=y
|
|
|
|
CONFIG_CMD_BOOTEFI_SELFTEST=y
|
2019-03-07 10:36:39 +00:00
|
|
|
CONFIG_CMD_GPIO=y
|
2018-10-11 16:31:59 +00:00
|
|
|
CONFIG_DOS_PARTITION=y
|
|
|
|
CONFIG_ISO_PARTITION=y
|
|
|
|
CONFIG_EFI_PARTITION=y
|
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="bcm968580xref"
|
|
|
|
# CONFIG_NET is not set
|
|
|
|
CONFIG_BLK=y
|
|
|
|
CONFIG_CLK=y
|
2019-03-07 10:36:39 +00:00
|
|
|
CONFIG_DM_GPIO=y
|
|
|
|
CONFIG_BCM6345_GPIO=y
|
2018-10-11 16:31:59 +00:00
|
|
|
# CONFIG_MMC is not set
|
|
|
|
CONFIG_SPECIFY_CONSOLE_INDEX=y
|
|
|
|
# CONFIG_SPL_SERIAL_PRESENT is not set
|
|
|
|
CONFIG_CONS_INDEX=0
|
|
|
|
CONFIG_DM_SERIAL=y
|
|
|
|
CONFIG_SERIAL_SEARCH_ALL=y
|
2018-12-01 17:42:09 +00:00
|
|
|
CONFIG_BCM6345_SERIAL=y
|
2018-10-11 16:31:59 +00:00
|
|
|
CONFIG_SYSRESET=y
|
2019-01-28 14:37:32 +00:00
|
|
|
CONFIG_SYSRESET_WATCHDOG=y
|
|
|
|
CONFIG_WDT_BCM6345=y
|
2018-10-11 16:31:59 +00:00
|
|
|
# CONFIG_GENERATE_SMBIOS_TABLE is not set
|