Thanks Tomasz,
Very helpful information as I am just looking to get an initial idea.
Actually just started reading the Genode Foundations Book and am sure that it will clarify things even more going forward for me.
Cheers and stay safe, Lonnie
On Fri, Apr 10, 2020 at 5:22 PM Tomasz Gajewski tomga@wp.pl wrote:
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