Interesting idea to ask

Lonnie Cumberland lonnie at
Tue Mar 31 23:21:47 CEST 2020

Hi All,

Hope that everyone is well and safe from the COVID-19 virus these days.

I have been watching Genode, Muen, and especially NOVA for a number of
years and I have an idea that I would like to get your opinion/comments on
regarding its potential as well as if it has a beneficial point to it.

I would like to take and build up a system based on the MuenSK with NOVA,
and Bhyve while also possibly adding the Sculpt OS GUI into the mix for a
nice basis for a hypervisor.

I was thinking that the layers could be (bottom to top)

1. MuenSK ---- Provides Separation Kernel for real hardware configuration
2. NOVA Hypervisor ---- Provides virtualization of the real hardware
provided by the SK
3. Bhyve --- Provides the VMM for each instance given by NOVA

Of course, there are other things to be included but this is just the base
that I am working towards.

Do you see an advantage to something like this?

About the only close Virtualizing Separation Kernel that I have come across
is the LynxSecure Separation Kernel Hypervisor ( but
I would like to build an open sourced version.

Any thoughts, suggestions, or comments?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list