Digilent Embedded Linux - Manual (Page 16)

Using Zynq with Linux
www.digilentinc.com page 16 of 23
Copyright Digilent, Inc. All rights reserved. Other product and company names mentioned may be trademarks of their respective owners.
$ gzip -9 ramdisk8M.image.gz
The Ramdisk image will be loaded into the main memory before Linux boots. So, all the changes to
the file system during runtime will only take place in the memory and will not get written back to
Ramdisk image file when the system shuts down. If you want to preserve your changes, you need to
consider hosting the file system on the SD card partition.
Boot from SD Card Partition
To boot a filesystem loaded on an SD card requires at least two partitions be present on the SD card.
The first partition of the SD card should be formatted into FAT to hold design files (BOOT.BIN), the
DTB file (devicetree.dtb) and the kernel image (zImage). Format the second partition on the SD
into an ext file system (ext4 is recommended) to host the root file system. Most Linux distributions
provide tools like parted and fdisk to create a partition table on the SD card. Refer to Getting
Started with Embedded Linux found at the Embedded Linux page on the Digilent website for step-by-
step instructions on how to partition an SD card to host the root file system.