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