PetaLinux BSP for ZyboPilot, includes IP repo and vivado project