Re: [U-Boot] booting the kernel

Hello Mathieu

2008/10/21 Mathieu Dube mathieu@mobilefusioninc.com:

the kernel I use is for freescale imx31_litekit. I've booted it using the logicpd loader so I know it works.

I use the arch/arm/boot/Image with mkimage like this:

mkimage -A arm -O linux -T kernel -C none -a 86000000 -e 86000000 -d Image

^^^^ ^^^^ Double check these addresses. The convention is to load the Linux kernel at the base of physical RAM plus an offset of 0x8000 (32K), which allows enough room for the parameters area (typically placed at offset 0x100), page exception vectors and page tables.