| CONFIG_ARM=y |
| CONFIG_COUNTER_FREQUENCY=50000000 |
| CONFIG_ARCH_BCMBCA=y |
| CONFIG_SYS_TEXT_BASE=0x01000000 |
| CONFIG_SYS_MALLOC_LEN=0x2000000 |
| CONFIG_SYS_MALLOC_F_LEN=0x8000 |
| CONFIG_BCM6858=y |
| CONFIG_TARGET_BCM96858=y |
| CONFIG_NR_DRAM_BANKS=2 |
| CONFIG_DEFAULT_DEVICE_TREE="bcm96858" |
| CONFIG_IDENT_STRING=" Broadcom BCM6858" |
| CONFIG_SYS_LOAD_ADDR=0x01000000 |
| CONFIG_ENV_VARS_UBOOT_CONFIG=y |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x2000000 |
| CONFIG_OF_STDOUT_VIA_ALIAS=y |
| CONFIG_DISPLAY_BOARDINFO_LATE=y |
| CONFIG_HUSH_PARSER=y |
| CONFIG_SYS_MAXARGS=64 |
| CONFIG_SYS_BOOTM_LEN=0x4000000 |
| CONFIG_CMD_CACHE=y |
| CONFIG_OF_EMBED=y |
| CONFIG_CLK=y |