Hi,
As the title says, Xillinux is now available for MicroZed as well. It's a fullblown Linux distribution, based upon Ubuntu LTS 12.04, which also includes simple means for communicating with the PL (FPGA) part.
For more information, please go to:
http://xillybus.com/xillinux
Cheers,
Eli