I made a buildroot distro for the microzed.
It builds everything you need to boot the microzed from scratch and everything is free and open source.
I don't know about the rest of you, but I can't imagine development with the Xilinx software tools. Xilinx makes good hardware, but (in my opinion) their software is mostly unusable so I made this for myself. I figure some of you might like it also.
I posted a page for it on my website:
http://www.vxmdesign.com/zynq.html
and github:
https://github.com/vxmdesign/buildroot
-Cjwfirmware