Hi,
I've built the PetaLinux into my Zynq module, and everything seems to work pretty fine. The only thing I can't find a proper solution to is to change the localtime on the Zynq board. Every time I power off my board, the time is reseted back to 1 January 2000. I can live with setting the localtime manually, but probably the best solution would be to get the time from the Internet, since the Zynq board is connected to the web.