Running PX4 on Linux Boards

I have Zynq board(not OcPoC). Linux is running on Zynq(ARM Cortex A9). I want to that PX4 run on this board. Is there any documantation about that ? Can I do the same procedure with OcPoC(https://aerotenna.readme.io/docs/px4-setup) ?