We configure PetaLinux to have its root file system on the second partition of the SD card. We then go through the steps required for preparing the SD card, creating disk partitions, formatting them and copying required PetaLinux files to each of the partitions.