| CONFIG_ARM=y |
| CONFIG_ARCH_BCM6858=y |
| CONFIG_SYS_TEXT_BASE=0x10000000 |
| CONFIG_SYS_MALLOC_F_LEN=0x8000 |
| CONFIG_ENV_SIZE=0x2000 |
| CONFIG_NR_DRAM_BANKS=1 |
| CONFIG_TARGET_BCM968580XREF=y |
| CONFIG_ENV_VARS_UBOOT_CONFIG=y |
| CONFIG_FIT=y |
| CONFIG_FIT_SIGNATURE=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_GPIO=y |
| CONFIG_CMD_MTD=y |
| CONFIG_CMD_NAND=y |
| CONFIG_CMD_PART=y |
| CONFIG_CMD_SPI=y |
| CONFIG_DOS_PARTITION=y |
| CONFIG_ISO_PARTITION=y |
| CONFIG_EFI_PARTITION=y |
| CONFIG_DEFAULT_DEVICE_TREE="bcm968580xref" |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| # CONFIG_NET is not set |
| CONFIG_BLK=y |
| CONFIG_CLK=y |
| CONFIG_DM_GPIO=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_6858=y |
| CONFIG_DM_SPI_FLASH=y |
| CONFIG_SPI_FLASH_SFDP_SUPPORT=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_BCM6345_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 |