configs/mx31pdk_defconfig

   1 CONFIG_ARM=y
   2 # CONFIG_SPL_USE_ARCH_MEMCPY is not set
   3 # CONFIG_SPL_USE_ARCH_MEMSET is not set
   4 CONFIG_TARGET_MX31PDK=y
   5 CONFIG_SPL_LIBGENERIC_SUPPORT=y
   6 CONFIG_SPL_SERIAL_SUPPORT=y
   7 CONFIG_SPL_NAND_SUPPORT=y
   8 CONFIG_BOOTDELAY=1
   9 CONFIG_SPL=y
  10 CONFIG_CMD_BOOTZ=y
  11 CONFIG_CMD_NAND=y
  12 CONFIG_CMD_SPI=y
  13 # CONFIG_CMD_SETEXPR is not set
  14 CONFIG_CMD_DHCP=y
  15 CONFIG_CMD_MII=y
  16 CONFIG_CMD_PING=y
  17 CONFIG_CMD_DATE=y
  18 CONFIG_ENV_IS_IN_NAND=y
  19 # CONFIG_MMC is not set