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 (https://www.lynx.com/products/lynxsecure-separation-kernel-hypervisor) but I would like to build an open sourced version.

Any thoughts, suggestions, or comments?

Cheers,

Lonnie