Genode and Android

[Steven Harp]

If one wanted to run Android OS on ARM hardware with Genode
underneath, what are the available options?   On x86, Virtualbox
ought to be up to the job, but without something like the
(seemingly offline) L4Android port, the options for virtualizing
Android on Genode appear limited.   Has anyone tried this recently,
and if nothing off the shelf will do it now, what path looks most
promising?

Steve Harp