Forum Discussion
Altera_Forum
Honored Contributor
Honored ContributorBooting 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
2 Replies
Altera_ForumHi, elliott.col ,
This problem i hav faced it before, but still cant figure out why..I guess may b is the image file problem~ here hav the link that hav some prebuilt image file that really works in SoCkit board, you can try it ... link: http://www.rocketboards.org/foswiki/view/projects/sockitlinarolinuxdesktop gd luck~- Altera_Forum
Cheers for the reply - I actually just finished downloading and using a different image! Seems to me that the image is incorrect/corrupted - hopefully just as a result of the download/uncompressing? Otherwise it suggests that there is a problem with their cd image - a bit of a nasty curve ball when starting out!
The Linux image which worked for me can be found at: http://www.rocketboards.org/foswiki/documentation/arrowsockitevaluationboardlinuxgettingstarted
