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.