We just got the SoCKit development board and I'm trying to get the factory provided Linux image to boot. I've written the image to a micro-SD card, set the BOOTSel and FPGA configuration mode switches as directed.When I power on the board I can see Uboot but it can find the kernel. I get the following messages: "** Unable to use mmc 0:1 for fatload **" and then "Wrong Image Format for bootm command" and "ERROR: can't get kernel image!". Any idea's what's going on.
