I want to make an application that will run on the linux that came with the zedboard. Can I design it and compile it using the Xilinx SDK? Then copy the executable over to the linux? Or do I somehow have to get the compiler and arm toolchain on that linux somehow and compile it there? Thanks!