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
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@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
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
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
-
Lonnie Cumberland -
Tomasz Gajewski