Hello everyone,
I am new to the xilinx environment. I have a couple of questions on booting Picozed from SD card.
Note:
I have already gone thru the link(s):
http://zedboard.org/content/how-copy-bootbin-and-imageub-over-sd-card
http://zedboard.org/content/sd-card-advice-zynq-7000-soc-products-0
Here's my configuration:
PICOZED 7015/7030, on PicoZed FMC Carrier Card
Ref:
http://zedboard.org/sites/default/files/documentations/5279-UG-PicoZed-7015-7030-V2_0.pdf
http://zedboard.org/sites/default/files/documentations/PicoZed_FMC_CC_GettingStarted_v2_1-1.pdf
I have followed the Picozed Tutorials, and I can boot Picozed and see the serial console display the values when I boot from Flash (probably termed as QSPI mode?).
Ref:
http://picozed.org/support/documentation/13076
SD-card has the following partitions created:
$ sudo fdisk -l /dev/mmcblk0
Disk /dev/mmcblk0: 14.4 GiB, 15489564672 bytes, 30253056 sectors
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: dos
Disk identifier: 0x7d78c1c9
Device Boot Start End Sectors Size Id Type
/dev/mmcblk0p1 * 2048 2050047 2048000 1000M b W95 FAT32
/dev/mmcblk0p2 2050048 30253055 28203008 13.5G 83 Linux
I have copied bootable factory images (BOOT.INI and image.ub) to the FAT partition of SD card.
Ref:
PicoZed FMC Carrier Card V2 | Zedboard (Section: PetaLinux SD Card Boot Binaries, z7030 PetaLinux binaries to boot PetaLinux out-of-box image from SD Card)
Q1 - I do not see serial output getting displayed when I try to boot from SD card, and I cannot validate a successful SD card boot. What am I missing something (additional files/etc)?
Ref:
https://xilinx-wiki.atlassian.net/wiki/spaces/A/pages/18841655/Prepare+Boot+Medium
I built a bootable image for zedboard config, from the following link: https://github.com/buildroot/buildroot/tree/master/board/zynq
Q2 - Would the bootable image built from the link mentioned above work on Picozed 7030?
Q3. How are these bootable images different:
a. Factory built image taken from PicoZed FMC Carrier Card V2 | Zedboard
b. Bootable image built from https://github.com/buildroot/buildroot/tree/master/board/zynq
c. Image built using Xilinx SDK for Picozed (Tutorials under: PicoZed FMC Carrier Card V2 | Zedboard )
Thanks,
Ashfaque
