This is an old revision of the document!
gparted
(in Debian Stretch use sudo gparted
instead of gprated-pkexec
)boot_project_name
see Boot and Kernel configure & build with PetaLinux without BSP (board support package)) cd <boot_project_path>/<boot_project_name> sudo cp ./images/linux/* <sd_card_mount_point>/BOOT/
cd <rootfs_path> sudo cp -a rootfs/* <sd_card_mount_point>/rootfs/
BOOT
and rootfs