Hello,
I have followed the instruction from this http://www.xilinx.com/support/documentation/sw_manuals/petalinux2013_10/ug980-petalinux-board-bringup.pdf to build image for zedboard. Then I copied the zImage from my build to the SD card that came with the board. I have not touched any other file than zImage. When I boot I get the following error
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
U-Boot 2011.03-dirty (Jul 11 2012 - 16:07:00)
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
5872888 bytes read
reading devicetree_ramdisk.dtb
5817 bytes read
reading ramdisk8M.image.gz
3694108 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.
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<
1. What changes I need to make specific for ZedBoard. I am assuming the instruction were for Xilinx 7000 board.
2. IF there is a problem where can I found the source code to fix it. I don't think petalinux has the full linux source. (I have also built from the Xilinx source tree and it also doesn't work.
Thanks
-