We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 55777

PetaLinux 2013.04 - How do I configure my Linux system to boot from the SD card?


My Linux system needs to boot from the SD card. What is the proper way to configure it?


To boot your Linux system from the SD card, perform these steps:

  1. Select SD card as the System boot device within "make appconfig" which will enable the sdboot command.
  2. Edit ${PETALINUX}/u-boot/include/configs/petalinux/<VENDOR>-<PRODUCT>.h.template to put run sdboot as default boot command.

    For example:

    #ifdef XILINX_SD_FLASH_BASEADDR #define CONFIG_BOOTCOMMAND "run sdboot" #endif
  3. Compile the Linux system like normal.
    After compilation, the u-boot images and the kernel images are in the ${PETALINUX}/software/petalinux-dist/images/ directory.
  4. You can use petalinux-gen-zynq-boot to generate BOOT.bin with u-boot.elf, fsbl.elf and the bitstream (you need to have Xilinx ISE/EDK installed to run this command).
  5. Then, you can copy the BOOT.bin and the image.ub to the SD card, or you can run petalinux-update-sdcard to update the SD card with the BOOT.bin and the image.ub. (You will need root permission to do so.)
AR# 55777
Date 01/29/2014
Status Active
Type General Article
  • SoC
  • FPGA Device Families
  • XA Zynq-7000
  • Zynq-7000
  • PetaLinux - 2013.04
  • PetaLinux - 2012.12
  • PetaLinux
  • EDK
Page Bookmarked