| CONFIG_ARM=y |
| CONFIG_ARCH_BCMSTB=y |
| CONFIG_SYS_TEXT_BASE=0x80100000 |
| CONFIG_TARGET_BCM7445=y |
| CONFIG_NR_DRAM_BANKS=3 |
| CONFIG_FIT=y |
| CONFIG_FIT_SIGNATURE=y |
| CONFIG_BOOTDELAY=1 |
| CONFIG_USE_PREBOOT=y |
| CONFIG_PREBOOT="fdt addr ${fdtcontroladdr};fdt move ${fdtcontroladdr} ${fdtsaveaddr};fdt addr ${fdtsaveaddr};" |
| CONFIG_HUSH_PARSER=y |
| CONFIG_SYS_PROMPT="U-Boot>" |
| CONFIG_CMD_SF_TEST=y |
| CONFIG_CMD_SPI=y |
| CONFIG_OF_PRIOR_STAGE=y |
| CONFIG_ENV_IS_IN_SPI_FLASH=y |
| CONFIG_DM_MMC=y |
| CONFIG_MMC_SDHCI=y |
| CONFIG_MMC_SDHCI_BCMSTB=y |
| CONFIG_DM_SPI_FLASH=y |
| CONFIG_SPI=y |
| CONFIG_DM_SPI=y |
| CONFIG_BCMSTB_SPI=y |
| # CONFIG_EFI_LOADER is not set |