RTEMS on Zynq

[Chris Johns]

> On 31 Aug 2019, at 8:13 am, Mathew Benson <mbenson at windhoverlabs.com> wrote:
> 
> Pre 5.  Head of the master branch as of yesterday.  There was a minor problem in a python script in the builder, but aside from that, everything builds just fine and runs in qemu.

Could you please send me the issue so I can look into it?

>  I’m sifting through Xilinx and RTEMS documentation to figure out how to boot from an SD card.

Is this a custom board?


Thanks
Chris