CONFIG_ARM=y
  CONFIG_TARGET_GPLUGD=y
  CONFIG_SYS_TEXT_BASE=0x00f00000
  CONFIG_IDENT_STRING="
  Marvell-gplugD"
  CONFIG_BOOTDELAY=3
  # CONFIG_DISPLAY_BOARDINFO is not set
  CONFIG_BOARD_EARLY_INIT_F=y
  # CONFIG_CMD_FLASH is not set
  CONFIG_CMD_USB=y
  # CONFIG_CMD_SETEXPR is not set
  CONFIG_CMD_DHCP=y
  CONFIG_CMD_MII=y
  CONFIG_CMD_PING=y
  CONFIG_CMD_EXT2=y
  CONFIG_CMD_FAT=y
  CONFIG_ISO_PARTITION=y
  # CONFIG_MMC is not set
  CONFIG_SYS_NS16550=y
  CONFIG_USB=y
  CONFIG_USB_EHCI_HCD=y
  CONFIG_USB_STORAGE=y
  CONFIG_OF_LIBFDT=y