1CONFIG_ARM=y
2CONFIG_ARCH_BCMSTB=y
3CONFIG_SYS_TEXT_BASE=0x10100000
4CONFIG_TARGET_BCM7260=y
5CONFIG_NR_DRAM_BANKS=1
6CONFIG_ENV_SIZE=0x10000
7CONFIG_ENV_OFFSET=0x814800
8CONFIG_ENV_OFFSET_REDUND=0x824800
9CONFIG_FIT=y
10CONFIG_FIT_SIGNATURE=y
11CONFIG_BOOTDELAY=1
12CONFIG_USE_PREBOOT=y
13CONFIG_PREBOOT="fdt addr ${fdtcontroladdr};fdt move ${fdtcontroladdr} ${fdtsaveaddr};fdt addr ${fdtsaveaddr};"
14CONFIG_BOARD_LATE_INIT=y
15CONFIG_HUSH_PARSER=y
16CONFIG_SYS_PROMPT="U-Boot>"
17CONFIG_CMD_ASKENV=y
18CONFIG_CMD_GPT=y
19# CONFIG_RANDOM_UUID is not set
20CONFIG_CMD_MMC=y
21CONFIG_CMD_CACHE=y
22CONFIG_CMD_EXT2=y
23CONFIG_CMD_EXT4=y
24CONFIG_CMD_FS_GENERIC=y
25CONFIG_OF_PRIOR_STAGE=y
26CONFIG_ENV_OVERWRITE=y
27CONFIG_ENV_IS_IN_MMC=y
28CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
29CONFIG_SYS_RELOC_GD_ENV_ADDR=y
30# CONFIG_NET is not set
31CONFIG_DM_MMC=y
32CONFIG_MMC_SDHCI=y
33CONFIG_MMC_SDHCI_BCMSTB=y
34CONFIG_MTD=y
35# CONFIG_EFI_LOADER is not set
36