Re: Announcement: Genode OS Framework version 14.05 released

2014-05-29 Thread Christian Helmuth
Hello Lonnie, thanks for the compliment. On Thu, May 29, 2014 at 10:56:58AM -0400, Lonnie Cumberland wrote: > I was just wondering if the network functionality for Virtualbox was also > in place as well so that guest OS's can connect to the Internet? > > If that is working then I would like to t

Re: Announcement: Genode OS Framework version 14.05 released

2014-05-29 Thread Lonnie Cumberland
Greetings All, Looks like some really fine work has been done for the latest Genode 14.05 release. I was just wondering if the network functionality for Virtualbox was also in place as well so that guest OS's can connect to the Internet? If that is working then I would like to try and build NOVA

Re: VMM for base-hw on ARM

2014-05-29 Thread S Madhu
Cortex A9 does not have the full Virtualization Extensions present in A15 so am not sure how much is feasible. We can live with paravirtualization On Thu, May 29, 2014 at 6:56 PM, S Madhu wrote: > > > >> >> ARM virtualization is not yet included in base-hw but it is on our road >> map: >> >>

Re: VMM for base-hw on ARM

2014-05-29 Thread S Madhu
> > ARM virtualization is not yet included in base-hw but it is on our road > map: > > http://genode.org/about/road-map Saw the roadmap, was hoping sum code had been added to this release ! > > > According to the road map, it will be supported no later than by the end > of the year. Maybe ther

Re: VMM for base-hw on ARM

2014-05-29 Thread Norman Feske
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 a

VMM for base-hw on ARM

2014-05-29 Thread S Madhu
Is there any virtualization support for ARM on the base-HW platform ? We need a trustzone enabled kernel, so the base-HW platform on the Freescale i.Mx6 is the ideal platform for us. We plan to run a virtualized version of Android on top of this. So we need support for a paravirtulaized Linux. lat

Announcement: Genode OS Framework version 14.05 released

2014-05-29 Thread Christian Helmuth
Genode 14.05 comes with a strong focus on framework scalability. We extend our C runtime with per-process virtual file system support. Now, programs seamlessly integrate with separate file-system services to distinct concerns like web-server configuration and data. Also, we introduce a new concept