A question on kernels

[Lonnie Cumberland]

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/12390d85/attachment.html>