has anyone used FreeRTOS on Zynq?

Hi, Has anyone used FreeRTOS on Xilinx Zynq?
Is it at all possible?
Zynq has Cortex-A9 processor (two cores)
and I read that FreeRTOS port is available for Cortex-A9;
so I presume it should be possible.
Can anyone tell me his/her experiences with FreeRTOS on Zynq? Regards, Pramod

has anyone used FreeRTOS on Zynq?

Xilinx have been demonstrating FreeRTOS running on the Zynq at the last couple of major trade shows – the launch being at Embedded World back at the end of February.  Search for “Zynq FreeRTOS” on Google, you will get lots of hits, including this one: http://press.xilinx.com/phoenix.zhtml?c=212763&p=irol-newsArticle&ID=1666397&highlight= I’m not sure where the code can be obtained from at the moment, maybe your Google search will find it, but it will be available from the FreeRTOS site too in the near future. Regards.