This section assumes that you have built a PetaLinux system image. For more information, see Building a System Image.