16d6e3dbeSMichal SimekCONFIG_ARM=y 26d6e3dbeSMichal SimekCONFIG_ARCH_ZYNQ=y 36d6e3dbeSMichal SimekCONFIG_TARGET_ZYNQ_ZC770=y 46d6e3dbeSMichal SimekCONFIG_DEFAULT_DEVICE_TREE="zynq-zc770-xm011" 56d6e3dbeSMichal SimekCONFIG_SPL=y 66d6e3dbeSMichal SimekCONFIG_FIT=y 76d6e3dbeSMichal SimekCONFIG_FIT_VERBOSE=y 86d6e3dbeSMichal SimekCONFIG_FIT_SIGNATURE=y 96d6e3dbeSMichal SimekCONFIG_SYS_EXTRA_OPTIONS="ZC770_XM011" 106d6e3dbeSMichal Simek# CONFIG_CMD_IMLS is not set 116d6e3dbeSMichal Simek# CONFIG_CMD_FLASH is not set 12*e4aa8edbSThomas ChouCONFIG_CMD_GPIO=y 136d6e3dbeSMichal Simek# CONFIG_CMD_SETEXPR is not set 14739968f2SMasahiro YamadaCONFIG_NET_RANDOM_ETHADDR=y 15