L4Android on Pandaboard

Matthias Lange mlange at sec.t-labs.tu-berlin.de
Sun Jun 17 20:47:11 CEST 2012

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.


Dipl.-Inf. Matthias Lange <mlange at 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120617/f96be660/attachment.htm>

More information about the l4-hackers mailing list