How to build L4android with genode

ChenZhen fiascocz at ...298...
Mon Jan 26 08:24:24 CET 2015

Hi all,

I want to build L4android. I can’t find ‘’ in latest release of genode, which is metioned in genode/repos/ports-foc/readme.

I got from genode 12.08, but failed to build it.

Where can I get the right run script of l4android ?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list