| CONFIG_ARM=y | |
| CONFIG_SYS_CONFIG_NAME="xilinx_zynqmp_zc1751_xm019_dc5" | |
| CONFIG_ARCH_ZYNQMP=y | |
| CONFIG_DM_GPIO=y | |
| CONFIG_SYS_TEXT_BASE=0x8000000 | |
| CONFIG_DEFAULT_DEVICE_TREE="zynqmp-zc1751-xm019-dc5" | |
| CONFIG_FIT=y | |
| CONFIG_FIT_VERBOSE=y | |
| CONFIG_SYS_PROMPT="ZynqMP> " | |
| # CONFIG_CMD_IMLS is not set | |
| CONFIG_CMD_MEMTEST=y | |
| # CONFIG_CMD_FLASH is not set | |
| CONFIG_CMD_TFTPPUT=y | |
| CONFIG_CMD_DHCP=y | |
| CONFIG_CMD_PING=y | |
| CONFIG_CMD_TIME=y | |
| CONFIG_CMD_TIMER=y | |
| CONFIG_OF_EMBED=y | |
| CONFIG_DM_MMC=y | |
| CONFIG_ZYNQ_SDHCI=y | |
| CONFIG_DM_ETH=y |