configs/xilinx_zynqmp_defconfig

   1 CONFIG_ARM=y
   2 CONFIG_TARGET_XILINX_ZYNQMP=y
   3 CONFIG_DEFAULT_DEVICE_TREE="zynqmp"
   4 CONFIG_CMD_BDI=y
   5 CONFIG_CMD_BOOTD=y
   6 CONFIG_CMD_RUN=y
   7 CONFIG_CMD_IMI=y
   8 CONFIG_CMD_SAVEENV=y
   9 CONFIG_CMD_FLASH=y
  10 CONFIG_CMD_ECHO=y
  11 CONFIG_CMD_SOURCE=y
  12 CONFIG_CMD_TIME=y
  13 CONFIG_CMD_MISC=y
  14 CONFIG_CMD_TIMER=y