Hi all,

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

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

Where can I get the right run script of l4android ?

Best,

Zachary