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 <mla...@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
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
