I tried to build up a linux kernel image for ZC702 and FMCOMMS1. I refer Linux with HDMI video output on the ZED and ZC702, ZC706 boards [Analog Devices Wiki] for beginning. but, I fail at "Build and install the kernel image". I git the kernel source and check out zynq_comm successfully. When I make zynq_xcomm_adv7511_defconfig, it's fail. I think I don't use a correct cross-compiler. Actually, I used PetaLinux for my cross-compiler. My question is, does the PetaLinux work fail for the kernel making job? If so, which cross-compiler can help me to do the job? Could you provide me the download path or the tool's name? Thanks!