debug for PetaLinux