Hi Norman,
Thanks so very much for getting back to me and discussing the idea about using Virtualbox as the VMM as I had not yet looked into the specifics, but it seems that you are definitely a few steps ahead in that you have already gone down that road a bit.
Not sure how you intend to put it all together but if it is similar to the NOVA 0.3 demo iso then that will be great!!!
I could see everything set up, as in that demo, except for perhaps a few change-outs. Perhaps the Virtualbox Manager will be in Genode and take the place of the Tutor (Console 1) so that you can make new instances that are easy to get to with something like the <LWin>+(F1-12) or (Arrow Keys) to change to the next consoles. I really love that simple and efficient approach that is expressed in that NOVA 0.3 demo but could see it upgraded to have the Genode GUI and Virtualbox for the VMM instances.
I am eagerly looking forward to your release in February of the integration of NOVA + Genode + Virtualbox and if you should need someone to do a bit of testing for you then please let me know and I'll be happy to do what I can to assist.
I am looking forward to running the code/demo as well a taking the follow-on steps of compiling everything up from scratch as well.
Truly exciting stuff that you and your group are doing here, my friend.
Kind Regards and have a great day, Lonnie
On Tue, Jan 14, 2014 at 1:54 PM, Norman Feske <norman.feske@...1...>wrote:
Hi Lonnie,
I agree that the idea to use VirtualBox on Genode/NOVA is pretty intriguing. The most obvious reason is the completeness and product quality of the included device models, which support most guest OSes out of the box. Also the guest-integration features such as shared folders and shared clipboard are excellent. Not to speak of the ability to run certain proprietary OSes that many people seem to enjoy using. Hence, we had the topic listed on our collection of "challenges" for a long time:
http://genode.org/about/challenges
The good news first: We have actually been experimenting with VirtualBox internally at Genode Labs since several months now. The first working version of VirtualBox on Genode/NOVA will be included in the upcoming Genode release scheduled for the end of February.
Even though your statement about VirtualBox being quite portable is correct, unfortunately, the way of how this portability is achieved by the VirtualBox architecture contradicts fundamentally with the NOVA architecture. Slightly simplifying, when starting a virtual machine using VirtualBox, the VirtualBox user process installs a "hypervisor" beneath the host kernel via a special kernel interface provided by the "vboxdrv" kernel module. This hypervisor takes over the control over the physical machine and implements the world switch between the host OS and the virtual machines. The VirtualBox hypervisor is portable for the sole reason of running underneath the host OS. It is pretty self-sufficient and does not largely depend on the host OS to be functional. Porting the VirtualBox hypervisor to another host OS basically means to realize a host-OS-specific solution to sneak-in the hypervisor under the running kernel.
With this insight, it is clear that the traditional way of porting VirtualBox would undermine the very idea behind a microkernel-based system. It would be a sacrilege to punch a gaping security hole into the NOVA hypervisor in order to allow the installation of another hypervisor (i.e., the VirtualBox hypervisor that is orders of magnitude more complex than the NOVA kernel) underneath the NOVA kernel. Moreover, in the VirtualBox architecture, the VirtualBox user process is ultimately trusted (well, it can install new code into the host kernel using the vboxdrv interface). So the trusted computing would be inflated not only by the VirtualBox hypervisor but also by the even more complex VirtualBox user process.
However, fortunately, we have found another approach to bring together both technologies. The idea comes down to replacing the mechanisms normally provided by the VirtualBox hypervisor with NOVA's virtualization interface for user-level VMMs. Although VirtualBox was never designed for such a feat, it apparently turned out to be a feasible (albeit challenging) route. Of course, we will describe more details about how it works once we publish the code end of February.
Cheers Norman
On 01/13/2014 10:01 PM, Lonnie Cumberland wrote:
Greetings All,
I hope that you are all doing well today. My learning is proceeding well with regards to NOVA and Genode. I truly do like this work and am excited to start doing more as I get better familiarized with the inner-workings.
My particular interest is with NOVA + Genode + Seoul (or similar VMM) for various work that I am looking into at the moment.
With that in mind, a thought had occurred to me and I wanted to ask the group for your thoughts in this area.
As you know, there are a number of other open source hypervisors (Type 1 and Type 2) with on of them being Virtualbox (Oracle) that runs well as a Type 2 hypervisor. My understanding is that Virtualbox is also reasonably easy to port to other platforms as well. The power of Virtualbox is that it is very mature at this point and I was wondering.
Would there be an advantage to have Virtualbox ported to Genode to run under NOVA?
The idea is that since it is already fairly mature, then perhaps it might make a very stable and suitable VMM (in place of Seoul) so that Genode (under NOVA) could run general purposes commodity OS's like Windows and Linux. I am sure that this would be a lot of work, but it seems that that might be an interesting idea.
Any comments?
Kind Regards and have a great day, Lonnie
-- 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
CenturyLink Cloud: The Leader in Enterprise Cloud Services. Learn Why More Businesses Are Choosing CenturyLink Cloud For Critical Workloads, Development Environments & Everything In Between. Get a Quote or Start a Free Trial Today.
http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.cl... _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main