1CONFIG_ARM=y
2CONFIG_SYS_DCACHE_OFF=y
3CONFIG_ARCH_CPU_INIT=y
4CONFIG_TARGET_GPLUGD=y
5CONFIG_SYS_TEXT_BASE=0x00f00000
6CONFIG_NR_DRAM_BANKS=2
7CONFIG_ENV_SIZE=0x4000
8CONFIG_IDENT_STRING="\nMarvell-gplugD"
9CONFIG_BOOTDELAY=3
10CONFIG_USE_PREBOOT=y
11# CONFIG_DISPLAY_BOARDINFO is not set
12CONFIG_BOARD_EARLY_INIT_F=y
13CONFIG_CMD_USB=y
14# CONFIG_CMD_SETEXPR is not set
15CONFIG_CMD_DHCP=y
16CONFIG_CMD_MII=y
17CONFIG_CMD_PING=y
18CONFIG_CMD_EXT2=y
19CONFIG_CMD_FAT=y
20CONFIG_ISO_PARTITION=y
21CONFIG_SYS_RELOC_GD_ENV_ADDR=y
22# CONFIG_MMC is not set
23CONFIG_MII=y
24CONFIG_SYS_NS16550=y
25CONFIG_USB=y
26CONFIG_USB_EHCI_HCD=y
27CONFIG_USB_STORAGE=y
28CONFIG_OF_LIBFDT=y
29