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