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