Device: zynq_sdhci
Manufacturer ID: 41
OEM: 3432
Name: SD4GB 
Tran Speed: 50000000
Rd Block Len: 512
SD version 3.0
High Capacity: Yes
Capacity: 3.6 GiB
Bus Width: 4-bit
reading uEnv.txt
** Unable to read file uEnv.txt **
Copying Linux from SD to RAM...
reading uImage
3726976 bytes read in 333 ms (10.7 MiB/s)
reading devicetree.dtb
5309 bytes read in 15 ms (344.7 KiB/s)
reading uramdisk.image.gz
99702893 bytes read in 8450 ms (11.3 MiB/s)
Wrong Image Format for bootm command

ERROR: can't get kernel image!

我是按照wiki上编出来的uImage

我是microzed的板