| CONFIG_ARM=y | |
| CONFIG_TARGET_XILINX_ZYNQMP=y | |
| CONFIG_CMD_BDI=y | |
| CONFIG_CMD_BOOTD=y | |
| CONFIG_CMD_RUN=y | |
| CONFIG_CMD_IMI=y | |
| CONFIG_CMD_SAVEENV=y | |
| CONFIG_CMD_FLASH=y | |
| CONFIG_CMD_ECHO=y | |
| CONFIG_CMD_SOURCE=y | |
| CONFIG_CMD_TIME=y | |
| CONFIG_CMD_MISC=y | |
| CONFIG_CMD_TIMER=y | |
| CONFIG_DEFAULT_DEVICE_TREE="zynqmp" |