Hi All,
I've been actively developing a powerful RTOS for Zynq. It uses FreeRTOS at its core, but adds a powerful driver model and and process management on-top.
Zynq is the most extensively supported platform so far, and I can replace U-Boot on Zynq.
We use it to load linux onto core1, and load the fpga and then run a full BitThunder application on core0.
All in under 700ms from SDcard. (Even faster from QuadSPI of course).
I will try to submit some tutorials for zedboard soon.
BitThunder provides a really nice way of separating your embedded software from the Xilinx tools.
The other advantage is that its ported to many other platforms (mostly ARM based currently, STM32/LPC11/7xx etc), which allows portable code to other platforms (including RaspberryPi).
Anyway, if anyone is interested please see: http://github.com/jameswalmsley/bitthunder/
I shall also submit my Zynq bootloader, with a guide to making a compatible kernel.
Its still early stages (0.7.0), its being actively developed, and of course its completely open-source. I would love
for others to get involved and help write drivers and make it better.
Looking forward to hearing from the Zed community.
James Walmsley (http://github.com/jameswalmsley/)