U-Boot 2012.10-00003-g792c31c (Jan 03 2014 - 12:24:08)

I2C:   ready
DRAM:  992 MiB
WARNING: Caches not enabled

SF: Detected N25Q128 with page size 64 KiB, total 16 MiB


Out:   serial

Err:   serial

Net:   zynq_gem

Hit any key to stop autoboot:  0 

Configuring PL and Booting Linux...

Device: SDHCI

Manufacturer ID: 3

OEM: 5344

Name: SL32G 

Tran Speed: 50000000

Rd Block Len: 512

SD version 2.0

High Capacity: Yes

Capacity: 29.7 GiB

Bus Width: 4-bit

reading parallella.bit.bin



** Unable to read "parallella.bit.bin" from mmc 0:1 **

Error: Timeout waiting for FPGA to config.

fpga - loadable FPGA image support



Usage:

fpga [operation type] [device number] [image address] [image size]

fpga operations:

  dump	[dev]			Load device to memory buffer

  info	[dev]			list known device information

  load	[dev] [address] [size]	Load device from memory buffer

  loadb	[dev] [address] [size]	Load device from bitstream buffer (Xilinx only)

  loadmk [dev] [address]	Load device generated with mkimage

	For loadmk operating on FIT format uImage address must include

	subimage unit name in the form of addr:<subimg_uname>

reading uImage



4468792 bytes read

reading devicetree.dtb



8607 bytes read

## Booting kernel from Legacy Image at 03000000 ...

   Image Name:   Linux-3.12.0-g0bc9c3a-dirty

   Image Type:   ARM Linux Kernel Image (uncompressed)

   Data Size:    4468728 Bytes = 4.3 MiB

   Load Address: 00008000

   Entry Point:  00008000


## Flattened Device Tree blob at 02a00000

   Booting using the fdt blob at 0x02a00000


OK

   Loading Device Tree to 1fffa000, end 1ffff19e ... OK



Starting kernel ...



Uncompressing Linux... done, booting the kernel.