How to build L4android with genode

Norman Feske norman.feske at ...1...
Tue Jan 27 11:10:14 CET 2015

Hi ChenZhen,

the run script was removed last July because it remained unused for a
long time:

You may revert the commit above and go from there. The run script may
need a few adaptations to the current version of Genode though.


On 01/26/2015 08:24 AM, ChenZhen wrote:
> 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 ?
> Best,
> Zachary

Dr.-Ing. Norman Feske
Genode Labs ·

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

More information about the users mailing list