sculpt OS kernel and applications

[Sid Agrawal]

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 at 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 at lists.genode.org
> https://lists.genode.org/listinfo/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20221228/efa2b077/attachment.htm>