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