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
12e4aa8edbSThomas ChouCONFIG_CMD_GPIO=y
136d6e3dbeSMichal Simek# CONFIG_CMD_SETEXPR is not set
14739968f2SMasahiro YamadaCONFIG_NET_RANDOM_ETHADDR=y
15*5c9b1d73SNathan RossiCONFIG_SPL_DM_SEQ_ALIAS=y
16596e5782SMichal SimekCONFIG_ZYNQ_GEM=y
17