Muen SK with VirtualBox VMM

[Adrian-Ken Rueegsegger]

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