Hi Madhu,
later we plan to port the Android VM directly on to the base-hw kernel so we will not need VMM support but that is not a trivial task so plan to first run a virtualized Linux first since that involved no major changes to the Android run-time.
Was wondering if we had to add the VMM support ourselves or if there was something that was added in today's 14.05 release ?
ARM virtualization is not yet included in base-hw but it is on our road map:
http://genode.org/about/road-map
According to the road map, it will be supported no later than by the end of the year. Maybe there is the chance to team up? So we could get there earlier?
Btw, which ARM SoC do you have in mind to use with virtualization?
Cheers Norman