On 02/08/2018 12:32 PM, Greg Gallagher wrote:
> geared towards Zynq but they can be generalized. Once I get these
> raspberry pi images to a point where I can share, I'd be happy to work
> with someone on gearing some of the getting started material towards
> raspberry pi.
Which pi boards are you targeting? If you have an RPi3, the arm64 port could use
Xenomai mailing list