2 CONFIG_SYS_DCACHE_OFF=y
5 CONFIG_SYS_TEXT_BASE=0x00f00000
8 CONFIG_IDENT_STRING="\nMarvell-gplugD"
11 # CONFIG_DISPLAY_BOARDINFO is not set
12 CONFIG_BOARD_EARLY_INIT_F=y
13 # CONFIG_CMD_FLASH is not set
15 # CONFIG_CMD_SETEXPR is not set
21 CONFIG_ISO_PARTITION=y
22 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
23 # CONFIG_MMC is not set