L4Android on Pandaboard

[Matthias Lange]

On 19.06.2012, at 15:49, ZhangEditing wrote:

> android_bus => new System_bus() 
> { 
>   sys => wrap(hw-root.sys); 
>   prcm => wrap(hw-root.prcm); 
>   sysdma => wrap(hw-root.sysdma); 
>   gic => wrap(hw-root.gic); 
>   hsmmc1 => wrap(hw-root.hsmmc1); 
>   hsmmc2 => wrap(hw-root.hsmmc2); 
>   hsmmc3 => wrap(hw-root.hsmmc3); 
>   hsmmc4 => wrap(hw-root.hsmmc4); 
>   hsmmc5 => wrap(hw-root.hsmmc5); 
> }

The gic shouldn't be assigned to L4Android as it is driven by Fiasco.

> In addition, I don't know how to assign registers that affect global configuration of the platform (e.g., the system control registers), although I don't think it is appropriate to assign such registers to only one OS.

You can write a L4Re server which configures those registers. Then L4Android can access those registers via the server interface.

Matthias.


-- 
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/ea7665bb/attachment.htm>