A question on kernels

[Lonnie Cumberland]

Hi Again All,

As a follow-on to the recent post, I just started to wonder something.

How would Sculpt (Genode) on bare-metal HW be better, or worse, than NOVA,
or SeL4, for example?

I have been really set on using NOVA as the hypervisor with Sculpt and
virtualbox on top, but I started to wonder if bare-metal HW would actually
be a better option.

Just thinking outside the box a bit.
Cheers,
Lonnie


On Fri, Apr 10, 2020 at 4:49 PM Lonnie Cumberland <lonnie at outstep.com>
wrote:

> Hi All,
>
> I am reading up on Genode with a focus towards Sculpt which I have been
> able to build and run.
>
> Nice work, by the way, to the developers (Norman and team) !!!
>
> In my reading on the different kernels, it seems as though Genode can run
> by itself without a specific kernel, unless I read that wrong.    With that
> in mind, I am wondering if Genode is compiling in the kernel and other
> components from a Unikernel or LibOS perhaps which could be the case, I
> guess.
>
> If this is true, then how would Sculpt be built without a kernel in place
> if you were to choose bare metal?
>
> Just some jumbled thoughts still as I am still trying to get the full
> picture for everything.
> Cheers and have a good weekend,
> Lonnie
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20200410/4367538c/attachment.html>