Nios® II Embedded Design Suite (EDS)
Support for Embedded Development Tools, Processors (SoCs and Nios® II processor), Embedded Development Suites (EDSs), Boot and Configuration, Operating Systems, C and C++
Intel Support hours are Monday-Fridays, 8am-5pm PST, except Holidays. Thanks to our community members who provide support during our down time or before we get to your questions. We appreciate you!

Need Forum Guidance? Click here
Search our FPGA Knowledge Articles here.
12409 Discussions

Trouble booting linux on SocKit development board

Honored Contributor II

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.

0 Kudos
1 Reply
Honored Contributor II

the problem may be in a wayof how did you wrote the image to the sd card...