On 17.06.2012, at 15:28, ZhangEditing wrote:

I tried to pack the system image of Android userland together with the kernel into a single U-image, but Pandaboard cannot finish loading the U-image.

Probably the size of the image is too big.

So I unpacked the system image to a separate partition on the SD card and I'm now trying to make L4Android use the partition.
However, L4Android does not seem to recognize the entire SD card. There is no MMC devices under /dev/block. Instead, only 15 ram devices and 1 l4bdds device are there.

First you need to make the Pandaboard MMC driver work with the L4Android kernel. This most likely includes setting up the right GPIO configuration.

I'm not sure whether L4Android has the right driver for SD card-related devices on Pandaboard.
On the other hand, since I'm not familiar with Pandaboard, I don't know if I'm using the right device configuration (in the form of a .devs file) for the I/O server of L4Re.

You should have a look into the Pandaboard TRM and gather the right MMIO regions needed for MMC etc. Then connect those to the vbus for the L4Android kernel.

Matthias.


-- 
Dipl.-Inf. Matthias Lange <mlange@sec.t-labs.tu-berlin.de>
Security in Telecommunications
TU Berlin / Deutsche Telekom Laboratories
Ernst-Reuter-Platz 7, 10587 Berlin
Phone: +49 - 30 - 8353 58 553
Mobile: +49 - 160 - 587 28 07
Web: http://www.t-labs.tu-berlin.de/sect