configs/zynq_zc770_xm011_defconfig

   1 CONFIG_ARM=y
   2 CONFIG_SYS_CONFIG_NAME="zynq_zc770"
   3 CONFIG_ARCH_ZYNQ=y
   4 CONFIG_DEFAULT_DEVICE_TREE="zynq-zc770-xm011"
   5 CONFIG_SPL=y
   6 CONFIG_FIT=y
   7 CONFIG_FIT_VERBOSE=y
   8 CONFIG_FIT_SIGNATURE=y
   9 CONFIG_SYS_EXTRA_OPTIONS="ZC770_XM011"
  10 CONFIG_BOOTDELAY=3
  11 CONFIG_HUSH_PARSER=y
  12 CONFIG_SYS_PROMPT="Zynq> "
  13 # CONFIG_CMD_IMLS is not set
  14 # CONFIG_CMD_FLASH is not set
  15 CONFIG_CMD_GPIO=y
  16 # CONFIG_CMD_SETEXPR is not set
  17 CONFIG_CMD_TFTPPUT=y
  18 CONFIG_CMD_DHCP=y
  19 CONFIG_CMD_MII=y
  20 CONFIG_CMD_PING=y
  21 CONFIG_CMD_CACHE=y
  22 CONFIG_NET_RANDOM_ETHADDR=y
  23 CONFIG_SPL_DM_SEQ_ALIAS=y
  24 CONFIG_ZYNQ_GEM=y