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 more questions about booting the hw-kernel on rspi board.

Which rpi3 model is this? (B or B+, or does that even matter?)
The build.conf file states that the "BOARD_RUN_OPT(rpi3) := $(QEMU_RUN_OPT)".

Is it setup to run in a Qemu-emulated rspi3?
If yes, should I follow the steps here [1] to boot it on a board?

[1] https://genode.org/documentation/genode-foundations/21.05/development/System_integration_and_automated_testing.html#Run-tool_configuration_examples

On Tue, Dec 27, 2022 at 2:45 AM Norman Feske <norman.feske@genode-labs.com> wrote:

[CAUTION: Non-UBC Email]

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" section [1],
and in the build instructions for Sculpt.

[1] https://genode.org/documentation/articles/sculpt-22-10#Credits

The PinePhone version of Sculpt uses the base-hw kernel. You can find
the details explained in the "Genode Platforms" document [2].

[2] https://genode.org/documentation/genode-platforms-22-05.pdf

> 2. Where can I find the application list that runs on sculpt? Like
> browsers, databases etc?

There is no central curated list.

Each depot provider curates a custom index, which you can browse once
you have selected the provider in Sculpt's depot selection.

Cheers
Norman

--
Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

_______________________________________________
Genode users mailing list
users@lists.genode.org
https://lists.genode.org/listinfo/users