[persnickety]

I wish there was a way to buy the hardware and get on with the project.

Does it run Linux?

[dhpn]

It could if you want to. Xilinx Zynq 7010 has a Cortex A9 processor core.

[slicktux]

Someone linked the GitHub. That should have the PCB grbr files; maybe you can get them made yourself and just buy the discrete/processor components from DigiKey. Also, DigiKey red makes PCBs.

[persnickety]

That's a high barrier to entry for someone coming from the software side. Just sourcing components can be a shitshow.