Maybe I'm confused but isn't that for a different version of the LibreSDR? The one in the submitted article uses Ettus drivers and doesn't seem to use the Zynq SoC.
It demonstrates hardware capability of PlutoSDR clones. With options for open firmware (e.g. https://github.com/F5OEO/tezuka_fw) and OS drivers, users can choose a stack for desired provenance, cost, function, performance and compatibility.
