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_name> sudo cp ./images/linux/* <sd_card_mount_point>/BOOT/