L4Android and L4Linux parallel on an i.MX53

[Matthias Lange]

Hi,

On 03/05/2012 10:41 AM, Tobias Fink wrote:
[...]
> The board is a custom board with very little documentation. I have some
> Linux drivers for the connected hardware. Is it possible to use them
> with L4Linux or would I have to get/write drivers for L4 itself?

In general it is possible to let L4Linux drive devices directly. You
need to give L4Linux access to the device in the respective io
configuration and make the driver run within L4Linux.

Regards,
Matthias.

> 
> Sorry about these very basic questions. I've just started working with L4.
> 
> Regards Tobi
> 
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- 
Dipl.-Inf. Matthias Lange <mlange at sec.t-labs.tu-berlin.de>
Security in Telecommunications
TU Berlin / Telekom Innovation 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