I'm trying to compile the kernel, but I'm having trouble.
Using the CD that came with the ZedBoard, I installed the Xilinx design tools in Ubuntu 12.04. After that, I ran "$ export CROSS_COMPILE=arm-xilinx-linux-gnueabi-" and "$ source /opt/Xilinx/14.2/ISE_DS/settings32.sh".
Then I downloaded the kernel from github and configured it with "$ make ARCH=arm xilinx_zynq_deconfig".
However, when I run "$ make -j ARCH=arm UIMAGE_LOADADDR=0x8000 uImage", I immediately get errors which report that arm-xilinx-linux-gnueabi-gcc is not found.
I'm not sure where to go from here.
Thanks for the help.