Xilinx Zynq hardcore BSP

[Mathew Benson]

I got the OpenRISC soft core loaded on the $119 XuLA2 FPGA board, but
need a JTAG cable to complete testing.  In the meantime, I have a
loaner Zedboard with a Zynq FPGA.  This is more expensive, but has
dual 1 GHz ARM 9 embedded hard cores.  The speed of a hardcore CPU
with the flexibility of a FPGA.  Does anybody already have a BSP for
the Zedboard or any ARM 9 board?  If not, which BSP should I start
with?