This pages provides information related to formatting and SD card for a two partition configuration.
While some Linux systems only require a single FAT-formatted boot partition (e.g. those that use a ramdisk), some systems require a second ext4 formatted partition to hold the root filesystem. In this tutorial, the FAT partition will be referred to as the "boot" partition, which is used to hold the boot image (BOOT.BIN) and Linux image (image.ub or Image + .dtb). The ext4 partition for the root filesystem will be referred to as "root".
Based upon the device that you are booting with the SD card, refer to the following family features:
Zynq-7000 SoC Boot ROM Features
Note: The SD card boot mode is not supported in 7z010 dual core and 7z007s single core CLG225 devices.
Note: The SD card boot mode does not support header search or multiboot.
For more information, please refer to the Zynq-7000 SoC Technical Reference Manual (UG585) section entitled “SD Card Boot”
Zynq UltraScale+ MPSoC Boot ROM Features
Note: The SD card boot mode supports multiboot.
For more information, please refer to the Zynq UltraScale+ Device Technical Reference Manual (UG1085) section entitled “Boot Modes”
Versal Adaptive SoC Boot ROM Features
Note: The SD card boot mode supports multiboot.
For more information, please refer to the Versal ACAP Technical Reference Manual (AM011) section entitled “Boot Modes”
Following the instructions on this page will result in an SD card being partitioned with the following Boot ROM compatible configuration:
These steps assume you're using a blank, unformatted SD card with no existing partitions on it. We'll use the fdisk utility in Linux to create the new partitions. Fdisk is text based tool used to create partitions on a disk. You can also use gparted which is gui base partitioning tool.
$ sudo fdisk /dev/sdc |
fdisk - check partition |
fdisk - new partition |
fdisk - Bootable flag setting |
fdisk - new partition |
fdisk - print partition table |
After creating the partitions, the next step is to format them with the appropriate files system.
The boot partition should always be formatted as FAT. To format the first partition as FAT, use the following command:
$ mkfs.vfat -F 32 -n boot /dev/sdc1 |
The root partition can be formatted as ext2/ext4 depending on your Linux configuration. To format the second partition as ext4, use the following command:
$ mkfs.ext4 -L root /dev/sdc2 |
If your root file system build artifact is an uncompressed ext4 image (i.e. rootfs.ext4) you can skip this step |
For the boot images, simply copy the files to the FAT partition. This typically will include BOOT.BIN, image.ub, and boot.scr (2020.1 and later). However, your system may require additional files on the FAT file system.
For the root file system, the process will depend on the format of your root file system image.
dd if=rootfs.ext4 of=/dev/sdc2 |
Related Links