Greetings All,
I have been keeping an eye on Genode and in particular the NOVA Microvisor project for a long time now as I had always thought that it was a very good direction.
As Genode has grown, it seems that more advancements are made all of the time which is awesome.
Lately, I have turn my attention to Type-1 hypervisors like XCP-ng (Xen) and SmartOS while also digging into Separation Kernels a bit to see what they can offer. On that note, I have briefly started reviewing Muen SK and am trying to see what it can do, but came across the Genode project that is supposed to have Muen SK as the Host with a VirtualBox VMM for the Guest OS's.
Can someone please tell me if there is any active work going on in this area as I am very interested in being able to run X86_64 Guests like Windows 7 Pro, Windows 10, and Linux all 64-bit?
Thanks a lot in advance. Lonnie
Hi,
Just a quick note to anybody who might be interested in this discussion: I wrote a reply to a very similar inquiry to the muen-dev mailing list [1].
Regards, Adrian
[1] - https://groups.google.com/d/msg/muen-dev/5VBVdYbSkMs/6NO9nbcaBwAJ
On 7/10/19 11:27 PM, Lonnie Cumberland wrote:
Greetings All,
I have been keeping an eye on Genode and in particular the NOVA Microvisor project for a long time now as I had always thought that it was a very good direction.
As Genode has grown, it seems that more advancements are made all of the time which is awesome.
Lately, I have turn my attention to Type-1 hypervisors like XCP-ng (Xen) and SmartOS while also digging into Separation Kernels a bit to see what they can offer. On that note, I have briefly started reviewing Muen SK and am trying to see what it can do, but came across the Genode project that is supposed to have Muen SK as the Host with a VirtualBox VMM for the Guest OS's.
Can someone please tell me if there is any active work going on in this area as I am very interested in being able to run X86_64 Guests like Windows 7 Pro, Windows 10, and Linux all 64-bit?
Thanks a lot in advance. Lonnie
Thanks Adrian,
I'll look over the reply on that list.
Appreciate your response and looking forward to seeing what might be possible with Muen SK as well as Genode. Best, Lonnie
On Thu, Jul 11, 2019 at 10:49 AM Adrian-Ken Rueegsegger ken@codelabs.ch wrote:
Hi,
Just a quick note to anybody who might be interested in this discussion: I wrote a reply to a very similar inquiry to the muen-dev mailing list [1].
Regards, Adrian
[1] - https://groups.google.com/d/msg/muen-dev/5VBVdYbSkMs/6NO9nbcaBwAJ
On 7/10/19 11:27 PM, Lonnie Cumberland wrote:
Greetings All,
I have been keeping an eye on Genode and in particular the NOVA
Microvisor
project for a long time now as I had always thought that it was a very
good
direction.
As Genode has grown, it seems that more advancements are made all of the time which is awesome.
Lately, I have turn my attention to Type-1 hypervisors like XCP-ng (Xen) and SmartOS while also digging into Separation Kernels a bit to see what they can offer. On that note, I have briefly started reviewing Muen SK
and
am trying to see what it can do, but came across the Genode project that
is
supposed to have Muen SK as the Host with a VirtualBox VMM for the Guest OS's.
Can someone please tell me if there is any active work going on in this area as I am very interested in being able to run X86_64 Guests like Windows 7 Pro, Windows 10, and Linux all 64-bit?
Thanks a lot in advance. Lonnie
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
-
Adrian-Ken Rueegsegger -
Lonnie Cumberland