Hi,

probably you'll get a more complete answer from someone from the core
team later but maybe a quick but not so complete answer will help.

Lonnie Cumberland <lonnie@outstep.com> writes:

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

Advantages of base-hw are summarized in Genode Foundations Book in
chapter:  7.7.  Execution on bare hardware (base-hw)

The most important advantage of other kernels is probably being more
mature.

The choice depends heavily on the target architecture. I think that on
ARM the typical choice is base-hw and on a pc it is typically Nova - at
least for Sculpt. Possibly the choice was due to missing support for
virtualization - I don't remember what is the current state of it on
x86.

Regards
Tomasz