genode and Android

[Steven Harp]

If one wanted to run Android OS on ARM-based 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
on Genode appear limited.   Has anyone tried this recently?

If nothing off the shelf will do it now, what path looks most
promising?

Steve Harp