the official image is not available

[tangke]

*.enviroment:
target OS: android
target software package: imx_android_r10 
PC Host System OS： ubuntu 10.04

*Steps:
1. to partition the SD card with the fdisk tools
2. to downloa the prebuilt images of r10 into the SD card
3. to insert the SD card into imx51 board
4. to power on the board to boot up the android system
5. the kernel loading always failed


PS: some specified information
++++++++++++++++++++++++++++++++++++++++++++++++
* the error of the kernel loading
the following information is according to the serial calble

BBG U-Boot >

U-Boot 2009.08-00322-g3464359 (Aug 09 2011 - 15:40:19)

CPU:   Freescale i.MX51 family 3.0V at 800 MHz
mx51 pll1: 800MHz
mx51 pll2: 665MHz
mx51 pll3: 216MHz
ipg clock     : 66500000Hz
ipg per clock : 665000000Hz
uart clock    : 66500000Hz
cspi clock    : 54000000Hz
axi_a clock   : 166250000Hz
axi_b clock   : 133000000Hz
emi_slow clock: 83125000Hz
ddr clock     : 200000000Hz
esdhc clock   : 216000000Hz
Board: MX51 BABBAGE 3.0 [POR]
Boot Device: MMC
I2C:   ready
DRAM:  512 MB
MMC:   FSL_ESDHC: 0, FSL_ESDHC: 1
In:    serial
Out:   serial
Err:   serial
PMIC Mode: SPI
Detecting HOME+POWER key for recovery ...
Net:   FEC0 [PRIME]
Hit any key to stop autoboot:  0

MMC read: dev # 0, block # 2048,count 4736 ...
4736 blocks read: OK

MMC read: dev # 0, block # 8192,count 600 ...
600 blocks read: OK
## Booting kernel from Legacy Image at 90800000 ...
   Image Name:   Linux-2.6.35.3-01160-g6c1a235-di
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    3321056 Bytes =  3.2 MB
   Load Address: 90008000
   Entry Point:  90008000
   Verifying Checksum ... Bad Data CRC
ERROR: can't get kernel image!


++++++++++++++++++++++++++++++++++++++++++++++++
* to partition the SD card:

$fdsik /dev/sdb
...
Command (m for help): p

Disk /dev/sdb: 3965 MB, 3965190144 bytes
122 heads, 62 sectors/track, 1023 cylinders
Units = cylinders of 7564 * 512 = 3872768 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disk identifier: 0x0001cc95

   Device Boot      Start         End      Blocks   Id  System
/dev/sdb1               3           6       10240+  83  Linux
Partition 1 does not end on cylinder boundary.
/dev/sdb2               6          60      204800+  83  Linux
Partition 2 does not end on cylinder boundary.
/dev/sdb3              60         128      256000+   5  Extended
Partition 3 does not end on cylinder boundary.
/dev/sdb4             128         133       20480+  83  Linux
Partition 4 does not end on cylinder boundary.
/dev/sdb5              60         114      204800+  83  Linux
/dev/sdb6             114         128       51138   83  Linux

++++++++++++++++++++++++++++++++++++++++++++++++
* to format the SD card

$sudo mkfs.vfat /dev/sdb1
$sudo mkfs.ext4 /dev/sdb2 -O ^extent -L system
$sudo mkfs.ext4 /dev/sdb4 -O ^extent -L recovery
$sudo mkfs.ext4 /dev/sdb5 -O ^extent -L data
$sudo mkfs.ext4 /dev/sdb6 -O ^extent -L cache

++++++++++++++++++++++++++++++++++++++++++++++++
* to download the images into SD card

sudo dd if=u-boot-no-padding.bin of=/dev/sdb bs=1K seek=1; sync
sudo dd if=uImage of=/dev/sdb bs=1M seek=1; sync
sudo dd if=SD/uramdisk.img of=/dev/sdb bs=1M seek=6; sync                       (specially: for r7, seek=4)
sudo dd if=SD/system.img of=/dev/sdb2; sync
sudo dd if=SD/recovery.img of=/dev/sdb4; sync

++++++++++++++++++++++++++++++++++++++++++++++++
At present,only r7 is OK.
The following versions don't work: r9.4,r10,10.3,r10.3.1 ...

[wigros_sun]

I think the kenel in SD card has been loaded into memory successfully, but data CRC was error. So I suggest you erase SD at first , then burin images into it. your board should be booted succefully.

[daiane_angolini]

Sorry, I do not understand.

The problem is you cannot find a link to donwload the binaries. Or the problem is that bootloader cannot load the kernel?