After a successful build, you can run the PetaLinux project on hardware. Follow these procedures to boot OpenAMP on a board.