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
--
Dr.-Ing. Norman Feske
Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
------------------------------------------------------------------------------
Time is money. Stop wasting it! Get your web API in 5 minutes.
www.restlet.com/download
http://p.sf.net/sfu/restlet
_______________________________________________
Genode-main mailing list
Genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main