MicroZed - how to boot from SD card

I have a 4gb sd card (fat32). I see no log in the terminal when i set it to boot from SD card.

Tried these images:
http://www.wiki.xilinx.com/Zynq+2014.1+Release
and
http://www.zedboard.org/support/documentation/1519 (MicroZed Linux microSD Card Image Archive)

Have you verified that you have the USB-UART driver installed correctly and a terminal program (terra term or putty) configured on your host PC by booting from the factory QSPI image as described in the MicroZed Getting Started Guide found here?:

http://www.zedboard.org/support/documentation/1519

If you have verified your console/terminal connections as described make sure that you have set the MicroZed Boot Jumers (JP3-JP1) to boot from the microSD card. When you attempt to boot from the microSD card does the blue 'Done' LED (D2) come on to indicate that the Zynq device has been configured?

Note that the MicroZed Linux microSD Card Image Archive is for a 7010 MicroZed. If you have a 7020 MicroZed you will need to us another image.

-Gary

Hi,
thanks for the reply. I have the 7010 MicroZed. The board will boot when i boot from the QSPI image that came preinstalled with the kit. I see the log and can use the BusyBox interface. Therefore i assume that the USB-UART & putty are properly installed.

When i set the jumpers JP3 to JP1 to boot from SD card then i don't get anything in the log. Also, the blue D2 LED will not light up.
Only green D5 and red D3 light up.

How could i furter debug the configure phase?

Regards

I got it to boot from SD. Turns out that the 4gb sd card that came with the MicroZed does not work!?!

I used a 1gb card and it works.

I remember reading somewhere that there were some problems with the supplied 4gb card. What is the exact cause?

There were some issues with the SD Cards supplied with the ZedBoards in the past, but no problems with the packaged, unprogrammed microSD card supplied with the MicroZed that I am aware of.

Contact me directly, via a private email, and we will take care of replacing your defective microSD Card.

-Gary

The 4GB SDcard supplied is formatted as a FAT16 drive which (my) Win7 doesn't seem to recognise. Use a Linux distro/machine and reformat it as a FAT32 partition, eg. use "mkfs.vfat /dev/sdd1", where sdd1 is your appropriate target as shown by "sfdisk -l" (on my Linux distro the partition type id came up as win95).

And you will need to use "fdisk /dev/sdd" and enable (toggle?) the boot flag for the primary partition, to allow zedboard to boot.

hey Gary,
is there a working image file for the 7020 version?
i can't find one and the link in the support is dead.

Could you be more specific on the link that is broken so that we can fix it?

While there is not a Linux uSD card image posted for the MicroZed 7020 you could download the tutorial on programming Linux into the QSPI Flash on the MicroZed 7020:

 http://zedboard.org/sites/default/files/design/MicroZed_7020_Open_Source_Linux_In_System_QSPI_Programming_14_5_02-Tutorial.zip

In the tutorial you load a Linux image, along with a script file, init.sh, onto a uSD card to perform the QSPI programming. If you image the uSD card as directed but do not copy (or delete) the init.sh file you should have a bootable Linux image for your MicroZed 7020.

-Gary

I have a newer 7010 MicroZed board. If I put the Linux boot.bin and associated files on mentioned in this thread, I can boot Linux just fine from the SD card. I have a fairly simple configuration that boots from the QSPI flash if I program the *.mcs file in and set the jumpers, but if I copy the BOOT.bin file onto the micro SD card, I don't get the blue programmed light, and I can't communicate via the UART. I'm using Xilinx SDK 2015.3 to create both the .mcs and BOOT.bin files. Any ideas as to why this doesn't work?

Thanks, Jerry