After following the tutorial "Ubuntu on Zync-7000 SoC" and booting Linux on Zedboard I get the following error:
reading zImage
3002960 bytes read
reading devicetree.dtb
8451 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.
What is the problem here and how can I fix it?