I've been going through all the the Linux on Zynq labs.
When I get to lab 2.3 and I'm going to boot linux on my zedboard, I get :
U-Boot 2011.03-dirty (Jun 14 2013 - 15:19:47)
DRAM: 512 MiB
MMC: SDHCI: 0
Using default environment
In: serial
Out: serial
Err: serial
Net: zynq_gem
Hit any key to stop autoboot: 0
Copying Linux from SD to RAM...
Device: SDHCI
Manufacturer ID: 27
OEM: 5048
Name: SD04G
Tran Speed: 25000000
Rd Block Len: 512
SD version 1.10
High Capacity: Yes
Capacity: 3980394496
Bus Width: 1-bit
reading zImage
2996832 bytes read
reading devicetree.dtb
7284 bytes read
reading ramdisk32M.image.gz
8955349 bytes read
## Starting application at 0x00008000 ...
Error: unrecognized/unsupported machine ID (r1 = 0x1fb71dd0).
Available machine support:
ID (hex) NAME
ffffffff ARM-Versatile Express
000008e0 ARM-Versatile Express
00000d32 Xilinx Zynq Platform
Please check your kernel config and/or bootloader.
