Interest in a Xilinx Zynq Board Integration?

OK, I have created a github repo and a board integration post here: [INCOMPLETE] Xilinx Zynq 7000

Feedback is requested but hopefully this can help get other people started.