Booting Linux from SD card on SoCKit

Hi There,

I have just got a SoCKit - I am rather inexperienced with FPGAs, ARM processors and Linux, so please bare with me!

I have been running through the getting started guides and come stuck with booting Linux from an SD card. I believe I have followed the instructions in SoCKit_Getting_Started_Guide.pdf and My_First_HPS.pdf correctly, but linux will not boot.

The error I am getting on power up (or with the command bootd) is:

--- Quote Start ---

** Unable to use mmc 0:1 for fatload **

Wrong Image Format for bootm command

ERROR: can't get kernel image!

--- Quote End ---

This is when using the pre-built Linux image ("Tools/Factory_SD_image/SoCKit_SD.img" on the SoCKit CD), loaded onto the SD card using Win32DiskImager (also on the CD).

I have tried:

• Using the latest version of Win32DiskImager

• Using a different SD card

Additional Information:

First SD card: 16GB, class 10

Second SD card: 2GB class 4 (Smaller capacity than suggested, all I have around to compare to)

Any suggestions, pointers or assistance is greatly appreciated!

Cheers,

Elliott