This tutorial will walk you through the process of setting up your airframe with OcPoC-Zynq. By the end, you should be ready to fly!
You will be able to choose which operating system you would like to port to OcPoC, either Petalinux, a lightweight simple OS, or Ubuntu for ARM devices, a powerful and flexible OS. Either one easily runs ArduPilot.
If you're not planning on doing any development, then we suggest you to go with Ubuntu since it's easy to use and there is a lot of community support for this OS. If you are wanting a lightweight OS for development, feel free to choose Petalinux instead.