I'm trying to build Linux for a Xilinx KC705 development kit running a MicroBlaze processor. I used the tutorial at Linux on the Xilinx KC705 Kintex™-7 FPGA development Board [Analog Devices Wiki] as a starting point. The available precompiled ELF works fine, but when I cloned and built the ADI linux git repo it never appeared to boot. (I.e. the serial console never comes up and the LCD on the KC705 doesn't change.)
I noticed the original image used 0x80000000 as the kernel starting address but my build uses 0xc0000000. I changed the starting address to 0x80000000 as a debug attempt to no avail. It's possible I didn't find all the things that needed tweaking as I'm somewhat new to kernel work.
Note, I'm using the Xilinx tools installed with their SDK instead of using the microblaze build tools git repo specified in the tutorial. That version of the tools resulted in an assembler error during the kernel build.