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