PetaLinux BSP for the ZyboPilot prototype