| CONFIG_ARM=y |
| CONFIG_SKIP_LOWLEVEL_INIT=y |
| CONFIG_ARCH_BCMSTB=y |
| CONFIG_TEXT_BASE=0x10100000 |
| CONFIG_SYS_MALLOC_LEN=0x2800000 |
| CONFIG_SYS_MALLOC_F_LEN=0x400 |
| CONFIG_TARGET_BCM7260=y |
| CONFIG_NR_DRAM_BANKS=1 |
| CONFIG_ENV_SIZE=0x10000 |
| CONFIG_ENV_OFFSET=0x814800 |
| CONFIG_DEFAULT_DEVICE_TREE="bcm7xxx" |
| CONFIG_ENV_OFFSET_REDUND=0x824800 |
| CONFIG_SYS_LOAD_ADDR=0x02000000 |
| 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_BOARD_LATE_INIT=y |
| CONFIG_HUSH_PARSER=y |
| CONFIG_SYS_PROMPT="U-Boot>" |
| CONFIG_SYS_MAXARGS=32 |
| CONFIG_SYS_CBSIZE=512 |
| CONFIG_SYS_PBSIZE=536 |
| CONFIG_SYS_BOOTM_LEN=0x4000000 |
| CONFIG_CMD_ASKENV=y |
| CONFIG_CMD_GPT=y |
| # CONFIG_RANDOM_UUID is not set |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_CACHE=y |
| CONFIG_CMD_EXT2=y |
| CONFIG_CMD_EXT4=y |
| CONFIG_CMD_FS_GENERIC=y |
| CONFIG_DOS_PARTITION=y |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_ENV_IS_IN_MMC=y |
| CONFIG_SYS_REDUNDAND_ENVIRONMENT=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| # CONFIG_NET is not set |
| CONFIG_MMC_SDHCI=y |
| CONFIG_MMC_SDHCI_BCMSTB=y |
| CONFIG_MTD=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_SYS_NS16550=y |
| # CONFIG_EFI_LOADER is not set |