Muen SK with VirtualBox VMM

[Lonnie Cumberland]

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 at 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 at lists.genode.org
> https://lists.genode.org/listinfo/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20190711/3da0bc1f/attachment.html>