1c115a0d4SMarek VasutCONFIG_SPL=y 2252ed872SMasahiro YamadaCONFIG_ARM=y 3*7865f4b0SMasahiro YamadaCONFIG_ARCH_SOCFPGA=y 4252ed872SMasahiro YamadaCONFIG_TARGET_SOCFPGA_ARRIA5=y 5bb333031SMarek VasutCONFIG_OF_CONTROL=y 6bb333031SMarek VasutCONFIG_DEFAULT_DEVICE_TREE="socfpga_arria5_socdk" 7