CONFIG_ARM=y
  # CONFIG_ARM64_SUPPORT_AARCH32 is not set
  CONFIG_ARCH_BCM63158=y
  CONFIG_SYS_TEXT_BASE=0x10000000
  CONFIG_SYS_MALLOC_F_LEN=0x8000

  CONFIG_ENV_SIZE=0x2000

  CONFIG_DM_GPIO=y

  CONFIG_NR_DRAM_BANKS=1

  CONFIG_TARGET_BCM963158=y
  CONFIG_ENV_VARS_UBOOT_CONFIG=y

  CONFIG_FIT=y
  CONFIG_FIT_SIGNATURE=y
  CONFIG_FIT_ENABLE_RSASSA_PSS_SUPPORT=y
  CONFIG_FIT_VERBOSE=y

  CONFIG_LEGACY_IMAGE_FORMAT=y

  CONFIG_SUPPORT_RAW_INITRD=y
  CONFIG_DISPLAY_BOARDINFO_LATE=y
  CONFIG_HUSH_PARSER=y

  # CONFIG_CMD_LZMADEC is not set
  # CONFIG_CMD_UNZIP is not set
  # CONFIG_CMD_FLASH is not set

  CONFIG_CMD_GPIO=y

  CONFIG_CMD_MTD=y
  CONFIG_CMD_NAND=y

  CONFIG_CMD_CACHE=y
  CONFIG_DOS_PARTITION=y
  CONFIG_ISO_PARTITION=y
  CONFIG_EFI_PARTITION=y
  CONFIG_DEFAULT_DEVICE_TREE="bcm963158"

  CONFIG_SYS_RELOC_GD_ENV_ADDR=y

  # CONFIG_NET is not set
  CONFIG_BLK=y
  CONFIG_CLK=y

  CONFIG_BCM6345_GPIO=y

  CONFIG_LED=y
  CONFIG_LED_BCM6858=y
  CONFIG_LED_BLINK=y

  # CONFIG_MMC is not set

  CONFIG_MTD=y

  CONFIG_DM_MTD=y

  CONFIG_MTD_RAW_NAND=y

  CONFIG_NAND_BRCMNAND=y
  CONFIG_NAND_BRCMNAND_63158=y

  CONFIG_DM_SPI_FLASH=y

  CONFIG_SPI_FLASH_MACRONIX=y

  CONFIG_SPECIFY_CONSOLE_INDEX=y

  CONFIG_CONS_INDEX=0
  CONFIG_DM_SERIAL=y
  CONFIG_SERIAL_SEARCH_ALL=y
  CONFIG_PL01X_SERIAL=y

  CONFIG_SPI=y
  CONFIG_DM_SPI=y
  CONFIG_BCM63XX_HSSPI=y

  CONFIG_SYSRESET=y

  CONFIG_SYSRESET_WATCHDOG=y
  CONFIG_WDT_BCM6345=y

  # CONFIG_GENERATE_SMBIOS_TABLE is not set