I am new to the xilinx environment. I have a couple of questions on booting Picozed from SD card.
I have already gone thru the link(s):
Here's my configuration:
PICOZED 7015/7030, on PicoZed FMC Carrier Card
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?).
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.
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)?
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 )