Is there a "known good" device tree compatible with the current Zynq release? As of 2014.4 they are using Linux 3.17. The device tree needed for this is very different than the device tree for Linux 3.8 that ships with my MicroZed.
I have things mostly working, but I do have odd issues like my clock seeming to drift a lot. This makes me wonder if there are settings that I'm missing or have slightly wrong. Unfortunately, the device tree generator is not good enough to create a fully working tree, and I'm not confident where I need to tweak.
For example, the generator gives lines like:
operating-points = <666667 1000000 333334 1000000 222223 1000000>;
and the factory provided device tree has lines like:
xlnx,cpu-1x-clk-freq-hz = <0x69f6bcb>;
xlnx,cpu-clk-freq-hz = <0x27bc86bf>;
These seem related, yet different. There are lots of other differences and it hard to sort out which ones matter and which ones are correct.