Actions
Forum Thread Details
  • State Not Answered
  • Replies 1 reply
  • Subscribers 175 subscribers
  • Views 863 views
  • Users 0 members are here
Related

PicoZed - Bootable images not booting from SD Card

ashfaque.roomy

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