Hi all, is there any description how to get RTEMS on the Zynq? I know how to use RTEMS on ARM, but I'm asking the Zynq specific parts. On the Wiki, the Zynq BSP is not even mentioned, but I see a lot of Git commits. I have a ZedBoard for starters ... Thanks a lot in advance