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