2 CONFIG_SYS_TEXT_BASE=0xFFF40000
4 CONFIG_TARGET_P4080DS=y
7 CONFIG_OF_BOARD_SETUP=y
8 CONFIG_OF_STDOUT_VIA_ALIAS=y
9 CONFIG_SYS_EXTRA_OPTIONS="SRIO_PCIE_BOOT_SLAVE"
11 CONFIG_BOARD_EARLY_INIT_F=y
12 CONFIG_BOARD_EARLY_INIT_R=y
15 # CONFIG_CMD_FLASH is not set
26 CONFIG_ENV_IS_IN_REMOTE=y
30 CONFIG_SF_DEFAULT_MODE=0
31 CONFIG_SF_DEFAULT_SPEED=10000000
32 CONFIG_SPI_FLASH_SPANSION=y
38 CONFIG_SYS_QE_FMAN_FW_IN_REMOTE=y