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?
Also, does the emulation on L4re only work when running Genode on top if Fiasco.OC?
Regards Magnus