1dd84058dSMasahiro YamadaCONFIG_SPL=y 2dd84058dSMasahiro YamadaCONFIG_SYS_EXTRA_OPTIONS="ZC770_XM010" 3dd84058dSMasahiro Yamada+S:CONFIG_ARM=y 444dcb403SMasahiro Yamada+S:CONFIG_ZYNQ=y 5dd84058dSMasahiro Yamada+S:CONFIG_TARGET_ZYNQ_ZC770=y 6783e6a72SMasahiro YamadaCONFIG_OF_CONTROL=y 7*f1ef2b62SMasahiro YamadaCONFIG_DEFAULT_DEVICE_TREE="zynq-zc770-xm010" 8