A few days ago I saw that there are some support for the Zynq ARM PS in the Xilinx SDK device tree generator BSP.
As far as I know (from earlier forum topics), the device tree generator did not generate a correct dts for a Zynq system. What is the status of the project now?