configs/mx31pdk_defconfig

   1 CONFIG_ARM=y
   2 CONFIG_TARGET_MX31PDK=y
   3 CONFIG_BOOTDELAY=1
   4 CONFIG_SPL=y
   5 CONFIG_CMD_BOOTZ=y
   6 # CONFIG_CMD_IMLS is not set
   7 CONFIG_CMD_SPI=y
   8 # CONFIG_CMD_SETEXPR is not set
   9 CONFIG_CMD_DHCP=y
  10 CONFIG_CMD_MII=y
  11 CONFIG_CMD_PING=y