Interesting idea to ask

[Lonnie Cumberland]

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 (
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20200331/beb1226c/attachment.html>