U-Boot 2012.04.01-00297-gc319bf9-dirty (Sep 13 2012 - 09:30:49)

DRAM:  512 MiB
WARNING: Caches not enabled
MMC:   SDHCI: 0
Using default environment

In:    serial
Out:   serial
Err:   serial
Net:   zynq_gem
Hit any key to stop autoboot:  0
zed-boot> mmcinfo
Device: SDHCI
Manufacturer ID: 12
OEM: 3456
Name: SMI
Tran Speed: 25000000
Rd Block Len: 512
SD version 1.0
High Capacity: Yes
Capacity: 3.7 GiB
Bus Width: 4-bit
zed-boot> fatls mmc 0
  4347916   boot.bin
     5817   devicetree_ramdisk.dtb
  3694108   ramdisk8m.image.gz
  2479640   zimage

4 file(s), 0 dir(s)

zed-boot> fatload mmc 0 0x8000 zImage
reading zImage

2479640 bytes read
zed-boot> fatload mmc 0 0x800000 ramdisk8M.image.gz
reading ramdisk8M.image.gz

3694108 bytes read
zed-boot> fatload mmc 0 0x1000000 devicetree_ramdisk.dtb
reading devicetree_ramdisk.dtb

5817 bytes read
zed-boot> <INTERRUPT>
zed-boot> go 0x8000