L4Android on Pandaboard

Matthias Lange mlange at sec.t-labs.tu-berlin.de
Tue Jun 19 22:13:33 CEST 2012

On 18.06.2012, at 02:59, ZhangEditing wrote:

> > 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.
>  I tried to do so, but L4Android recognizes only SDHCI. Maybe I still missed something.
> Are there resources other than MMIO regions and IRQs that have to be configured for the I/O server?

Probably you need some GPIO pins. Have a look into the Pandaboard TRM.


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/20120619/02ead0db/attachment.htm>

More information about the l4-hackers mailing list