L4Android on Genode

[Stefan Kalkowski]

Hi Magnus,

On 10.06.2011 14:34, Magnus Andersson wrote:
> Hi
> 
> just read through the release note for Genode 11.05 and noticed the
> support for L4Linux by emulating L4re.
> By emulating the L4re shouldn't the L4Android (http://l4android.org/)
> port of Android work as well? 

In general yes, but its untested. Currently we only support a specific
version of L4Linux (corresponds to Linux 2.6.37), which should perfectly
match the L4Android version. Furthermore, we rely on the recent VCPU
feature in Fiasco.OC, I'm not sure whether L4Android supports the VCPU
feature, respectively if it is tested with VCPUs enabled.
If this is the case, than there is only some minor tweaking to do.
Probably one has to change our tiny L4Linux patch a bit to match L4Android.

> 
> Also, does the emulation on L4re only work when running Genode on top if
> Fiasco.OC? 

Yes, that's fully true. L4Linux, and our L4Re replacement (which is only
a very small subset with respect to the whole L4Re) relies on the
Fiasco.OC API. Especially, the usage of the already mentioned VCPU
feature inherently ties both down to Fiasco.OC.

Regards
Stefan

> 
> Regards
> Magnus 
> 
> 
> 
> ------------------------------------------------------------------------------
> EditLive Enterprise is the world's most technically advanced content
> authoring tool. Experience the power of Track Changes, Inline Image
> Editing and ensure content is compliant with Accessibility Checking.
> http://p.sf.net/sfu/ephox-dev2dev
> 
> 
> 
> _______________________________________________
> Genode-main mailing list
> Genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth