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
  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

  # 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

  CONFIG_BCM6345_SERIAL=y

  CONFIG_SYSRESET=y

  CONFIG_SYSRESET_WATCHDOG=y
  CONFIG_WDT_BCM6345=y

  # CONFIG_GENERATE_SMBIOS_TABLE is not set