...
This step is needed only if you want to add your developed Firmware separately into PetaLinux BSP. Refer to section Building Firmware using PetaLinux.
Enable all of the modules and applications in the RootFS
...
To boot up board from SD card copy the generated BOOT.BIN file (also copy BOOT.BIN, image.ubImage, boot.scr, rootfs.cpio.gz.u-boot files from <plnx-proj-root>/images/linux or <plnx-proj-root>/pre-built/linux/images/ ) into the boot directory in SD card and power ON board with that SD card.
...