The {{ost-microzed}} machine provides support for building Zynq7000 images with a flink bitstream, currently centered around use in the REAL project.
The PL is configured using the flink2 configuration/bitstream.
Known Issues
RT kernel
Xilinx themselves don't provide an RT kernel and as such there seems to be no official support for it. While our fork with the RT patches applied mostly works, actually enabling full preemption breaks the ethernet functionality (specifically receving packets, sending seems ok) [Tracking Issue].