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 application list that runs on sculpt? Like browsers, databases etc?
Thanks, Sid
Hi Sid,
On 12/26/22 23:40, Sid Agrawal wrote:
- 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
- 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
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...
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:
- 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
- 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
-
Norman Feske -
Sid Agrawal