Hi Norman,
Thanks for the reply. I was under the impression that Sculpt boots with
only the hw or nova kernels. Clearly, I was wrong. :)
Also, looks like that for my work. I do not need to use sculpt. I am OK
with a terminal-based OS that runs a predetermined test using a run script.
I have a few
Hi Sid,
On 12/26/22 23:40, Sid Agrawal wrote:
1. I understand the Genode can be made with multiple kernels such as OKL4,
seL4, and Nova, as well as your own kernel named hw? However, it was not
obvious which kernel is used by sculpt.
You can find the used kernel documented at the "Credits" sec
Hi,
I am looking for the following answers but could not get an answer on the
website.
1. I understand the Genode can be made with multiple kernels such as OKL4,
seL4, and Nova, as well as your own kernel named hw? However, it was not
obvious which kernel is used by sculpt.
2. Where can I find the
