This section assumes that the PetaLinux tools have been installed. For more information, see Installation Steps.