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